addFailedFuncToStats addFunsToVerifyInfo addProgToState allFuncs currTAProgs failedFuncs incFailTestInStats incNumAllInStats incNumNFCInStats incPatTestInStats initVState initVerifyInfo isContractOp isProperty isVerified nfConds numAllFuncs numFailTests numNFCFuncs numPatTests postConds preConds readVerifyInfoRef showStats tdeclOf toolOpts trInfo