Fix some notices
Initial try to implement negation of tree
Add initial implementation of a tree simplification algorithm
Show domain and rules in analyse
Add testcases for simplification and negation steps