UniqueEx: obj
Record:
%unique
in id: ref String.String
print:
Fool:
monPtn:
%interface entry
entry:
%arguments unique
mon: MonPtn
fooMsg: entry
barMsg: entry
in X: ref Record
in Y: ref Fool
R1: ref Record
R2: ref Record
S: ref Object