Refactoring Request : Replace existing calls to CProver_assert to use the new Assert Stmt Instead. This is more inline with CBMC's structure and should make it easy to pass in custom strings as property classes and descriptions.