Clock inference

[GregersSR]

We would like to implement the following.
When we're in a delay, find the clock of the delay. For adv v, this is equal to cl(v). For select x y, this is equal to the union of cl(x) and cl(y). For context: later, cl will be used at runtime.