Copilot.Compile.SBV.Common
mkTmpStVar
mkUpdateStFn
mkQueueVar
mkQueuePtrVar
mkExtTmpVar
mkExtTmpTag
mkExtArrFn
mkExtFunArgFn
mkObserverFn
mkTriggerGuardFn
mkTriggerArgFn
mkArgIdx
tagExtract