Predicate PossibleLossOfPrecision::convertedToFloatOrDecimal

Holds if e is converted to type t which is a float or a decimal.

predicate convertedToFloatOrDecimal(Expr e, Type t)