Cryptol.TypeCheck.Solver.Selector
tryHasGoal