cond-short.exp revision 1.6
11.1Srilligexpected and 21.2Srilligexpected and exists 31.2Srilligexpected and empty 41.3Srilligexpected U23 condition 51.3Srilligexpected VAR23 61.6Srilligexpected M pattern 71.1Srilligexpected or 81.2Srilligexpected or exists 91.2Srilligexpected or empty 101.1Srilligexit status 0 11