Fix access in test

Author: tautschnig

regression/cbmc-cpp/MethodParam1/main.cpp

@@ -2,6 +2,7 @@
 unsigned x;
 
 class ct {
+public:
   void f(int i) {
     x=x+i;
   }