SUM(x)= .+-orio(0,x) ;
 
2;

msetRanSUM(m)= SUM(< m[n] | n <- dom(m): (m[n]>=0) >);

3;

a <- <"aaa">;

if ( msetRanSUM([ 'a -> 12, 'b -> -3 , 'c -> 88 ]) == 100 /\ a == <"aaa"> )
then pp("ok") 
else pp("error in 3");

4;

5 ;
a <- < (if true then "aaa" else "bbb") > ; /* OK */
6;

;BUG
;       TeXdef("tipo",< if is-Por(x) then "Porta"
;                       else if is-Jan(x) then "Janela"
;                       else "X" >),