(*) でマークされたポイントでどのユニオン (参照環境) がアクティブであるかを知りたいとします。実際に活動している組合は?
procedure P(A,B ; real)
X: real
procedure Q(B,C : real)
y : real
...
procedure R(A,C : real)
Z:real
........ --(*)