Control.to_debug_str and Control.__to_debug_str added. Declared non-static to make virtual work.
Control.to_debug_str and Control.__to_debug_str added.
Declared non-static to make virtual work.

kornai/pymachine,recski/pymachine,recski/pymachine,Eszti/pymachine,Eszti/pymachine,kornai/pymachine