CORE
Test.class
--function Test.withDependency --max-nondet-string-length 1000
^EXIT=10$
^SIGNAL=0$
assertion at file Test.java line 59 .*: SUCCESS
assertion at file Test.java line 61 .*: FAILURE
--
--
Check that when a dependency is present, the correct constraints are added


