small fix
enriching saving of analyses results in HTML with information about counterexample and about the analysis scope
small extension for lifting the counterexample
Merge remote-tracking branch 'origin/master'
bugfix: missing initialization of data flow information for complex typed vars
merged master into dataflow