Counting Spanning Trees to Guide Search in Constrained Spanning Tree Problems