pred():bool
test()
{
    while pred() {
    }
}

//@PRACOWNIA
//@stop_after typechecker