Displaying of states in the counterexample is not lifted to AF3
in the counterexample of an analysis with CBMC, it seems to me that the states are raw states and NOT AF3 states
(from redmine: issue id 1592, created on 2013-08-06, closed on 2013-08-08)