micro-Python: global variables and logic functions

Logic functions and predicates are moved out of program code, and Python global variables are added as extra arguments when needed.