Updating: adding EFFECTIVATS/mergesort
Updating: minorly improving
Updating: very minorly
Updating: putting INTPROGINATS-2013-03-34 into git
Updating: improving ATS-constraint
Updating: renaming SMALL/UTFPL to MEDIUM/UTFPL0
Updating: minorly improving
Updating: working on extending UTFPL0 with tuples/records.
Changed s2exp normilization to ignore s2var when exporting constraints. The reasoning behind this is that when we replace s2var's with expressions they represent, the SMT solver is unable to understand equality between two static variables.