searching only feasible branches is part of the search strategy