move duplicated binding generator visitor to it's own class
Merge pull request #1190 from andreistefanescu/master

prover improvements triggered by the js semantics
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