Current instrumentation creates variable modification functions as public. Instead these should be marked as internal. This is necessary from both a security issue (leaving them public allows anyone to modify the internal state), and from a gas-saving point of view (internal functions cost less to deploy than public functions).