theorem Dictionary.instCommunicationAtToParent
theorem Dictionary.instCommunicationAtToParent
: ∀ (x t : Type) [Communication.At x t], Process.At x t