test(a:bool[], b:bool[]):bool
{
  return a > b
}
//@PRACOWNIA
//@stop_after typechecker
//@should_not_typecheck