Predicate InefficientToArray::emptyArrayLiteral

predicate emptyArrayLiteral(Expr e)