Improved logic of handling new found unit-clauses.
Improved naming: "checker" -> "pass".

For the partial assignment of the current path.
Removed superfluous array "out".

The satisfying assignment is just the current partial assignment.