No need to add normal clauses to occur for solution extension

They are all supposed to be satisfied. If they are not, they will not
propagate anyway. We will find out if they are not satisfied when
verifying the solution
Make sure that the really complicated options are being fuzzed
Renaming passed variable
Removing a useless test
Cleaning up non-empty lines
DRUP now checks for options