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