orTTTorFTTorTFTorFFFandTBBandBTBandFBFandBFFimpTBBimpFBTnotTFnotFTifTB1B2B1ifFB1B2B2eqTTTeqFFTeqTFFeqFTFeqtnilundefinedFeqtnilpidN2FeqtnilintN2FeqtnilconsH2T2FeqtniltupleH2T2FeqtniltuplenilH2FeqtanilFeqtaaTeqtaexclFeqtafalseFeqtalockFeqtalockerFeqtamcrlrecordFeqtaokFeqtapendingFeqtareleaseFeqtarequestFeqtaresourceFeqtatagFeqtatrueFeqtaundefinedFeqtapidN2FeqtaintN2FeqtaconsH2T2FeqtatupleH2T2FeqtatuplenilH2FeqtexclnilFeqtexclaFeqtexclexclTeqtexclfalseFeqtexcllockFeqtexcllockerFeqtexclmcrlrecordFeqtexclokFeqtexclpendingFeqtexclreleaseFeqtexclrequestFeqtexclresourceFeqtexcltagFeqtexcltrueFeqtexclundefinedFeqtexclpidN2FeqtexcleqtfalseintN2FeqtfalseconsH2T2FeqtfalsetupleH2T2FeqtfalsetuplenilH2FeqtlocknilFeqtlockaFeqtlockexclFeqtlockfalseFeqtlocklockTeqtlocklockerFeqtlockmcrlrecordFeqtlockokFeqtlockpendingFeqtlockreleaseFeqtlockrequestFeqtlockresourceFeqtlocktagFeqtlocktrueFeqtlockundefinedFeqtlockpidN2FeqtlockintN2FeqtlockconsH2T2FeqtlocktupleH2T2FeqtlocktuplenilH2FeqtlockernilFeqtlockeraFeqtlockerexclFeqtlockerfalseFeqtlockerlockFeqtlockerlockerTeqtlockermcrlrecordFeqtlockerokFeqtlockerpendingFeqtlockerreleaseFeqtlockerrequestFeqtlockerresourceFeqtlockertagFeqtlockertrueFeqtlockerundefinedFeqtlockerpidN2FeqtlockerintN2FeqtlockerconsH2T2FeqtlockertupleH2T2FeqtlockertuplenilH2FeqtmcrlrecordnilFeqtmcrlrecordaFeqtmcrlrecordexclFeqtmcrlrecordfalseFeqtmcrlrecordlockFeqtmcrlrecordlockerFeqtmcrlrecordmcrlrecordTeqtmcrlrecordokFeqtmcrlrecordpendingFeqtmcrlrecordreleaseFeqtmcrlrecordrequestFeqtmcrlrecordresourceFeqtokresourceFeqtoktagFeqtoktrueFeqtokundefinedFeqtokpidN2FeqtokintN2FeqtokconsH2T2FeqtoktupleH2T2FeqtoktuplenilH2FeqtpendingnilFeqtpendingaFeqtpendingexclFeqtpendingfalseFeqtpendinglockFeqtpendinglockerFeqtpendingmcrlrecordFeqtpendingokFeqtpendingpendingTeqtpendingreleaseFeqtpendingrequestFeqtpendingresourceFeqtpendingtagFeqtpendingtrueFeqtpendingundefinedFeqtpendingpidN2FeqtpendingintN2FeqtpendingconsH2T2FeqtpendingtupleH2T2FeqtpendingtuplenilH2FeqtreleasenilFeqtreleaseaFeqtreleaseexclFeqtreleasefalseFeqtreleaselockFeqtreleaselockerFeqtreleasemcrlrecordFeqtreleaseokFeqtrequestmcrlrecordFeqtrequestokFeqtrequestpendingFeqtrequestreleaseFeqtrequestrequestTeqtrequestresourceFeqtrequesttagFeqtrequesttrueFeqtrequestundefinedFeqtrequestpidN2FeqtrequestintN2FeqtrequestconsH2T2FeqtrequesttupleH2T2FeqtrequesttuplenilH2FeqtresourcenilFeqtresourceaFeqtresourceexclFeqtresourcefalseFeqtresourcelockFeqtresourcelockerFeqtresourcemcrlrecordFeqtresourceokFeqtresourcependingFeqtresourcereleaseFeqtresourcerequestFeqtresourceresourceTeqtresourcetagFeqtresourcetrueFeqtresourceundefinedFeqtresourcepidN2FeqtresourceintN2FeqtresourceconsH2T2FeqtresourcetupleH2T2FeqtresourcetuplenilH2FeqttagnilFeqttagaFeqttagexclFeqttagfalseFeqttaglockFeqttaglockerFeqttagmcrlrecordFeqttagokFeqttagpendingFeqttagreleaseFeqttagrequestFeqttagresourceFeqttagtagTeqttagtrueFeqttagundefinedFeqttagpidN2FeqttagintN2FeqttagconsH2T2FeqttagtupleH2T2FeqttagtuplenilH2FeqttruenilFeqttrueaFeqttrueexclFeqttruefalseFeqttruelockFeqttruelockerFeqttruemcrlrecordFeqttrueokFeqttruependingFeqttruereleaseFeqttruerequestFeqttrueresourceFeqttruetagFeqttruetrueTeqttrueundefinedFeqttruepidN2FeqttrueintN2FeqttrueconsH2T2FeqttruetupleH2T2FeqttruetuplenilH2FeqtundefinednilFeqtundefinedaFeqtundefinedtuplenilH2FeqtpidN1nilFeqtpidN1aFeqtpidN1exclFeqtpidN1falseFeqtpidN1lockFeqtpidN1lockerFeqtpidN1mcrlrecordFeqtpidN1okFeqtpidN1pendingFeqtpidN1releaseFeqtpidN1requestFeqtpidN1resourceFeqtpidN1tagFeqtpidN1trueFeqtpidN1undefinedFeqtpidN1pidN2eqtN1N2eqtpidN1intN2FeqtpidN1consH2T2FeqtpidN1tupleH2T2FeqtpidN1tuplenilH2FeqtintN1nilFeqtintN1aFeqtintN1exclFeqtintN1falseFeqtintN1lockFeqtintN1lockerFeqtintN1mcrlrecordFeqtintN1okFeqtintN1pendingFeqtintN1releaseFeqtintN1requestFeqtintN1resourceFeqtintN1tagFeqtintN1trueFeqtintN1undefinedFeqtconsH1T1resourceFeqtconsH1T1tagFeqtconsH1T1trueFeqtconsH1T1undefinedFeqtconsH1T1pidN2FeqtconsH1T1intN2FeqtconsH1T1consH2T2andeqtH1H2eqtT1T2eqtconsH1T1tupleH2T2FeqtconsH1T1tuplenilH2FeqttupleH1T1nilFeqttupleH1T1aFeqttupleH1T1exclFeqttupleH1T1falseFeqttupleH1T1lockFeqttupleH1T1lockerFeqttupleH1T1mcrlrecordFeqttupleH1T1okFeqttupleH1T1pendingFeqttupleH1T1releaseFeqttupleH1T1requestFeqttupleH1T1resourceFeqttupleH1T1tagFeqttupleH1T1trueFeqttupleH1T1undefinedFeqttupleH1T1pidN2FeqttupleH1T1intN2FeqttupleH1T1consH2T2FeqttupleH1T1tupleH2T2andeqtH1H2eqtT1T2eqttupleH1T1tuplenilH2FeqttuplenilH1nilFeqttuplenilH1aFeqttuplenilH1exclFeqttuplenilH1falseFeqttuplenilH1lockFeqttuplenilH1lockerFeqttuplenilH1mcrlrecordFeqttuplenilH1okFeqttuplenilH1pendingFeqttuplenilH1releaseFeqttuplenilH1requestFeqttuplenilH1resourceFeqttuplenilH1tagFeqttuplenilH1trueFeqttuplenilH1undefinedFeqttuplenilH1pidN2FeqttuplenilH1intN2FeqttuplenilH1consH2T2FeqttuplenilH1tupleH2T2FeqttuplenilH1tuplenilH2eqtH1H2elementints0tuplenilT1T1elementints0tupleT1T2T1elementintssN1tupleT1T2elementintsN1T2record_newlocktuplemcrlrecordtuplelocktupleundefinedtupleniltuplenilnilrecord_extracttuplemcrlrecordtuplelocktupleF0tupleF1tuplenilF2lockresourcetuplemcrlrecordtuplelocktupleF0tupleF1tuplenilF2record_updatetuplemcrlrecordtuplelocktupleF0tupleF1tuplenilF2lockpendingNewFtuplemcrlrecordtuplelocktupleF0tupleF1tuplenilNewFrecord_updatesRecordNamenilRecordrecord_updatesRecordNameconstupleFieldtuplenilNewFFieldsrecord_updatesrecord_updateRecordNameFieldNewFNameFieldslocker2_map_promote_pendingnilPendingnillocker2_map_promote_pendingconsLockLocksPendingconslocker2_promote_pendingLockPendinglocker2_map_promote_pendingLocksPendinglocker2_map_claim_locknilResourcesClientnillocker2_map_claim_lockconsLockLocksResourcesClientconslocker2_claim_lockLockResourcesClientlocker2_map_claim_lockLocksResourcesClientlocker2_map_add_pendingnilResourcesClientnillocker2_promote_pendingLockClientcase0ClientLockrecord_extractLocklockpendingcase0ClientLockconsClientPendingsrecord_updatesLocklockconstupleexcltuplenilClientconstuplependingtuplenilPendingsnilcase0ClientLockMCRLFree0Locklocker2_remove_pendingLockClientrecord_updatesLocklockconstuplependingtuplenilsubtractrecord_extractLocklockpendingconsClientnilnillocker2_add_pendingLockResourcesClientcase1ClientResourcesLockmemberrecord_extractLocklockresourceResourcescase1ClientResourcesLocktruerecord_updatesLocklockconstuplependingtuplenilappendrecord_extractLocklockpendingconsClientnilnilcase1ClientResourcesLockfalseLocklocker2_release_lockLockClientcase2ClientLockgen_modtageqClientrecord_extractLocklockexclcase2ClientLocktruerecord_updatesLocklockconstupleexcllockexclnilcase4ClientLockMCRLFree1falselocker2_obtainablesnilClienttruelocker2_obtainablesconsLockLocksClientcase5ClientLocksLockmemberClientrecord_extractLocklockpendingcase5ClientLocksLocktrueandtlocker2_obtainableLockClientlocker2_obtainablesLocksClientcase5ClientLocksLockfalselocker2_obtainablesLocksClientlocker2_check_availableResourcenilfalselocker2_check_availableResourceconsLockLockscase6LocksLockResourceequalResourcerecord_extractLocklockresourcecase6LocksLockResourcetrueandtequalrecord_extractLocklockexclnilequalrecord_extractLocklockpendingnilcase6LocksLockResourcefalselocker2_check_availableResourceLockslocker2_check_availablesnilLockstruelocker2_check_availablesconsResourceResourcesLocksandtlocker2_check_availableResourceLockslocker2_check_availablesResourcesLockslocker2_adduniqnilListListappendconsHeadTailListconsHeadappendTailListsubtractListnilListsubtractListconsHeadTailsubtractdeleteHeadListTaildeleteEnilnildeleteEconsHeadTailcase8TailHeadEequalEHeadcase8TailHeadEtrueTailcase8TailHeadEfalseconsHeaddeleteETailgen_tagPidtuplePidtupleniltaggen_modtageqClient1Client2equalClient1Client2memberEnilfalsememberEconsHeadTailcase9TailHeadEequalEHeadcase9TailHeadEtruetruecase9TailHeadEfalsememberETaileqsemptyemptyTeqsemptystackE2S2FeqsstackE1S1emptyFeqsstackE1S1stackE2S2andeqtE1E2eqsS1S2pushsE1S1stackE1S1popsstackE1S1S1topsstackE1S1E1istopsE1emptyFistopsE1stackE2S1eqtE1E2eqcnocallsnocallsTeqcnocallscallsE2S2CS2FeqccallsE1S1CS1nocallsFeqccallsE1S1CS1callsE2S2CS2andeqtE1E2andeqsS1S2eqcCS1CS2pushE1E2nocallscallsE1stackE2emptynocallspushE1E2callsE3S1CS1push1E1E2E3S1CS1eqtE1E3push1E1E2E3S1CS1TcallsE3pushsE2S1CS1or2T0F0and2imp2not1if3eq2eqt2nil0undefined0pid1int1cons2tuple2tuplenil1a0excl0false0lock0locker0mcrlrecord0ok0pending0release0request0resource0tag0true0element2s100record_new1record_extract3record_update4record_updates3locker2_map_promote_pending2locker2_promote_pending2locker2_map_claim_lock3locker2_claim_lock3locker2_map_add_pending3case03locker2_remove_pending2subtract2locker2_add_pending3case14member2append2locker2_release_lock2case23gen_modtageq2excllock0case43locker2_obtainables2case54andt2locker2_obtainable2locker2_check_available2case64equal2locker2_check_availables2locker2_adduniq2delete2case84gen_tag1case94eqs2empty0stack2pushs2pops1tops1istops2eqc2nocalls0calls3push3push16FULL./TRS/Cime/mucrl1.trs