CONTRACTS: make contracts.h methods public.

For future reuse with dynamic frames

Author: Remi Delmas

src/goto-instrument/contracts/contracts.h

@@ -141,6 +141,7 @@ class code_contractst
 
   std::unordered_set<irep_idt> summarized;
 
+public:
   /// Translates a function_pointer_obeys_contract_exprt into an assertion
   /// ```
   /// ASSERT function_pointer == contract;