double deletion skips singly lethal deletions

Assuming that singly lethal deletions give lethal double deletions
improves solves times. I observed speedups of up to 50%.

It also passes solver arguments on correctly.

This fixes #101