enable more parts of simplifyExpressions, and use Value == when comparing Refs