Update Conditions, Add ProofCheckerTest boilerplate