consumer1(x:bool[])
consumer2(x:bool[][])
consumer3(x:bool[][][])
 
test()
{
    consumer1(
        { {{}[0]}[0]
        , {}[0]
        , {}[0][0][0]
        })
    consumer2(
        { {{}[0]}[0]
        , {}[0]
        , {}[0][0][0]
        })
    consumer2(
        { { {{}[0]}[0] }
        , {}[0]
        , {}[0][0][0]
        })
    consumer2(
        { {{}[0]}[0]
        , { {}[0] }
        , {}[0][0][0]
        })
    consumer2(
        { {{}[0]}[0]
        , {}[0]
        , { {}[0][0][0] }
        })
    consumer2(
        { { {{}[0]}[0]   }
        , { {}[0]        }
        , { {}[0][0][0]  }
        })
    consumer3(
        { {{}[0]}[0]
        , {}[0]
        , {}[0][0][0]
        })
    consumer3(
        { { {{}[0]}[0]  }
        , { {}[0]       }
        , { {}[0][0][0] }
        })
    consumer3(
        { {{}[0]}[0]
        , {}[0]
        , { {}[0][0][0] }
        })
    consumer3(
        { { { {{}[0]}[0]  } }
        , { { {}[0]       } }
        , { { {}[0][0][0] } }
        })
}

//@PRACOWNIA
//@stop_after typechecker