Initial changes to make the mapping structure
Added Renode
Added and changed stuff
Extended documentation and BadBound
Removed Types..
Changed MUL_IF_LESS to be correct
Added a line to sat pylint
Added a new failing test case
Added failing test_variables_with_internal_nodes
Added failing test_node_creation
Changed test to accomendate for new tuple structure
Changed to new structure
Fixed Model
Tried to do some cleaning
Trying to use a visitor class again
Working vistior
Visitor now working, so do Evaluator
Adding infomation to cleaner
Made the function immutable
Added tests and repr for eval for method