Add all the C Files in the project to CBMC
Add CBMC error message for properties in the view
Add CBMC error message for the show-loops command