gsdlab/clafer — pull request #27 by Luke-Michael-Brown (2013-06-28 19:34:55+00:00)
Title: Fixed i188

see http://gsd.uwaterloo.ca:8888/question/803/integer-values-that-repeat-disappear

Note this fix does not fix http://gsd.uwaterloo.ca:8888/question/1005/sum-quantifier-on-non-simplified-expression or even consider that as an option it assumes the argument given to it is already a simplified expression