class Main {
   main() : Int { if a then b else c fi };
   main() : Int { if a Then b Else c fi };
   main() : Int { if {a<- 1; a<- 1;} Then b Else c fi };
   main() : Int { if {a<- 1; a<- 1;} Then b Else c fi };
   main() : Int {
		{
	a <- if a then b else c fi;
       if if if a then b else c fi then b else c fi then b else c fi;
	a (b<- b+1, c, d, if a then b else c fi);
		}
		};
};