Predicate AV Rule 212::sameExpr

predicate sameExpr(Expr e, Expr f)