githwxi/ATS-Postiats — pull request #114 by wdblair (2014-12-23 07:13:19+00:00)
Title: Normalize S2 Expressions Before They Are Stored in Environment

All s2 expressions are normalized when constraints are exported. We should normalize s2 expressions when we build the s2cstmap and s2varmap so that all constants in normalized constraints are stored in the map.

Without normalizing, I found some s2 constants can be missing from the s2cstmap.