Improve elaboration efficiency by cutting down on excessive backtracking