Try1.het revision da42340727c038b89035a78b19dbf816f0a7336c
logic ExtModal
spec Try1 =
time modality t
modalities a,b
sort N
end