section 3 checked
tests for all operators
fixed an bug
the previous error can just be ignored says in the paper
Finished PredicationVisitor, please check
Changed the .gitignore

Hopefully now it will ignore all the .class
changes to PredicateVisitor
updated .gitignore to ignore ~ files
Trial on fixing predicationVisitor
Implemented UnaryExpr in ExprToSmtlibVisitor

forgot about this :P
section 6
Merge https://github.com/marcelNgan/SRTool
Implemented TernaryExpr too

also forgot this :(
se0ction 7 undone
initial changes