Jump Threading optimization may cause internal error

[cardillan]

Under some circumstances, the jump threading optimization may cause internal error:

#set syntax = strict;

begin
    if @server then do
        if @client then end(); end;
        foo();
        print("bar");
    while true; end;
end;

noinline void foo()
    print("foo");
end;

A workaround is setting Jump Threading to advanced level (instead of experimental):

#set jump-threading = advanced;