add ic ti sfacility
add transaction field
typo
findOwner functions and tests
pending chain added
isInterrupted field added
preempt in ir mode. compiled
preempt. maybe
return
storages added to SimulationState
storage enter leave blocks