test: int a -> int
    | a 1 == -> inner: int b -> int
                    | b 0 == -> 5 fuenf
                    | 1 1 == -> 7 sieben
                    ;
                    a inner
    | 1 1 == -> 3 drei
    ;

fuenf: int a -> int
    | 1 -> a
    ;

drei: int a -> int
    | 1 -> a
    ;


sieben: int a -> int
    | 1 -> a
    ;

0 test