small fix
better error messages
better error messages
fixing the CBMC tests according to the default settings for loops unwinding
fixing the build