CProver input code should be indented, in order to be more readable
The CProver code, written to the physical files, should be indented, in order to be more readable (already for being easier to be debugged).
(from redmine: issue id 1614, created on 2013-08-14, closed on 2013-09-01)