$acc + [$case->name => $case->getLabel()], [] ); } }