execute() method in GHCiDebugger is now private