pub fn bin_op_to_fcmp_predicate(op: BinOpKind) -> RealPredicate