Making order of bindings irrelevant
Implementing iteration removal and testcases
Bugfixing iteration
Adding more testcases for iteration