PPSZ

Implemented PPSZ and fixed givenVar
Revert "PPSZ"

This reverts commit 83602f99121e50cfc4da54c476b039cf1f09101a.
PPSZ

Implemented PPSZ and fixed givenVar()