public override Stm UnCx(Label tt, Label ff)
{
Label t = new Label();
Label f = new Label();
return(new SEQ(Test.UnCx(t, f),
new SEQ(new LABEL(t),
new SEQ(Then.UnCx(tt, ff),
new SEQ(new LABEL(f),
Else.UnCx(tt, ff))))));
}