test()
{
    if true & false {
    }
}

//@PRACOWNIA
//@stop_after typechecker