Bugfix1312

Hi, I have changed mbeddr.core/code/languages/com.mbeddr.analyses.cbmc.rt/models/com/mbeddr/analyses/cbmc/rt/counterexample/lifted/builder.mps

and 
mbeddr.core/code/languages/com.mbeddr.analyses.cbmc.rt/models/com/mbeddr/analyses/cbmc/rt/raw.mps

to fix the issue 1312.

Please review and please tell me if any changes are to be done.