Subprover: rename controller to state