improved handling of pattern folding rules for cell data structures
improved detection of reachaing the end of the rule
bug fixes
fix to normalize substitution
fixed bubble sort spec
added occurs check in the pattern matcher
Merge pull request #1190 from andreistefanescu/master

prover improvements triggered by the js semantics