CORE
Test.class
--function Test.checkNonDet --verbosity 10
^EXIT=10$
^SIGNAL=0$
assertion at file Test.java line 55 .*: FAILURE
--
adding lemma .*nondet_infinite_array
--
Check that using the string dependence informations, no lemma involving arrays is added
