By default:
- removes final message "Done for function main".
- removes messages about the initial state computation.