EqExpr can be cased as well