- adapted Python tests to new tick action
- fixed signature of evaluate_formula in gologinterpreter
- changed iteration for checkall / checkone to leave loop as soon
as ok/not_ok can be found -> seems to speed up at least a bit...