Fix in code generation. forall clauses are now printed before return types on functions. This goes not change any generated C code but will matter for some debugging.