Predicate PrintLnArray::arraysToStringArgument

Holds if e is an argument of Arrays.toString(..).

predicate arraysToStringArgument(Expr e)