defaultOptions optCallTypes optDeleteCache optDomainID optEnforceNF optError optFormat optFunction optGenerated optHelp optIOTypes optImports optPublic optRerun optSMT optSpecModule optStats optStoreFuncs optStoreSMT optTime optVerb optVerify printInfoLine printInfoString printWhenAll printWhenDetails printWhenStatus processOptions whenStatus