CurryInfo: contract-prover-4.0.0 / VerifierState: all operations

addPostCondToStats addPreCondToStats addProgToState allFuns areContractsAdded currTAProgs initVState makeVerifyInfo postConds preConds readVerifyInfoRef showStats tdeclOf toolOpts trInfo uPostCond uPreCond vPostCond vPreCond