improving the filtering of lifted counterexamples - now in the case of variable declaration and initialization we have one state
Merge remote-tracking branch 'origin/master'