cprover: Make printing more pretty.

(1) semicolon was missing after function calls.
(2) add a blank line after procedures.