work on proof
remove statement contracts
save proof state