pred():bool
test()
{
    if pred() {
    } else {
    }
}

//@PRACOWNIA
//@stop_after typechecker