Predicate AV Rule 42::overlappingExprs

predicate overlappingExprs(Expr e1, Expr e2)