Predicate sameExpr

predicate sameExpr(Expr e, Expr f)