ID is the unique identifier for the operation. It should be of any type that can be compared for equality
()
source not stored for this graph (policy: none)
no outgoing calls