move duplicated binding generator visitor to it's own class
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
merged lookups and constrant in java backend rule
remove dead code
Merge pull request #1197 from andreistefanescu/master

merged lookups and constrant in java backend rule