Added tests for simplify

Now there is a fiew tests to ensure that the behaviour of simplify does
not change as the implementation improves and the number of rules
implemented increases.