Cryptol.TypeCheck.Solver.Smtlib
simpDelayed