Symbolic interpreter in Python