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
move duplicated binding generator visitor to it's own class
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
split time measurement for --prove in two: preprocessing and actual proving
Merge pull request #1191 from andreistefanescu/master

split time measurement for --prove in two: preprocessing and actual prov...
rename PrivateKModule to AnnotatedByDefinitionModule
Merge pull request #1188 from osa1/issue1082

move duplicated binding generator visitor to it's own class
add parallelism to kompile with Ground.tbl
Merge pull request #1193 from dwightguth/parser

add parallelism to kompile with Ground.tbl
Merge remote-tracking branch 'origin/master' into feature/KORE-convertors
add test compiler the inner using SDF