Printing the current symbolic variables at each function call.
Added a TODO file on how to build STP. It's somewhat painful.