Cryptol.TypeCheck.Solver.Numeric.Defined
cryDefinedProp
cryDefined