remove statement contracts
save proof state