Not using SetSeed anymore
Test Picosat.Variables and Picosat.AddedOriginalClauses