THEN // SA0095 (can [...] Cond2) THEN // SA0095 i [...] Cond1 := 11) = 11 THEN

THEN inst [...] interface can't be 0 END