Added algorithm to calculate conditions on a SOP.

There are some limitations now:
The missing conditions will for example be added to all operations in a sequence and not only the first. It is not trivial to remove these conditions in a general way.