Make `is_impossible` method more robust.
Put option filtering and filling on loops.
Remove extraneous functions.

Also add call to deterministic solve in options filling.