Predicate CompareIdenticalValues::comparison

predicate comparison(BinaryExpr binop, Expr left, Expr right)