pub fn bin_op_to_icmp_predicate(op: BinOpKind, signed: bool) -> IntPredicate