13.01.22_1

-removed IFormula::IsNull()
-removed ProofTest