Adding empty line for clarity
Stamping for literal removal
Better probing -- using dominators

TODO: in case of elimination, this is NOT working, we must use
dominatory from non-learnt only
Ooops, wanted to use object's variable, used local one :S