Creating the sets based on backwards propagation
More work on comparison removal

Not in a working state currently