test()
{
    if true | false {
    }
}

//@PRACOWNIA
//@stop_after typechecker