Fixed a namespace issue in ProofStatement.cpp