fixed Kolja's FP bug
big improvements in lifting the counterexample and major rewrites of testing
Merge remote-tracking branch 'origin/master'
better names for the synthetic program elements
temporary debug help to see what happens on the server
Pre merge
merging...
merged
making the order of VCs explicit to the user
improvements in harness
added analyses to the tutorial
flag for displaying or not additional assumptions for nondeterministic assignments
Merge branch 'master' into cimporter
added tests to cimport
Added ASM statement
Parsing ASM stmt
Mps node for ASM added