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