Predicate NoComparisonOnFloats::definedConstant

predicate definedConstant(Expr e)