added temporary code to add support for sv-comp verification tasks
added a note about effects of no return statements in the sv comp code.