Cryptol.TypeCheck.Solver.Selector

tryHasGoal