Replace main loop by sequential code in CProver entry file
The perform_step function is called from within a loop in the entry file.
Sequential code should be able to be model checked faster.
(from redmine: issue id 1704, created on 2013-09-12, closed on 2013-09-24)