CORE
Cart.class
--cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar` --trace --java-max-vla-length 96 --java-unwind-enum-static --max-nondet-string-length 200 --unwind 4 Cart.class --function Cart.checkTax4 --string-printable
^EXIT=10$
^SIGNAL=0$
^VERIFICATION FAILED$
--
dec_solve: current index set is empty, this should not happen
--
This checks that assigning to a field of an object (which generates a WITH expression in this case) doesn't result
in conflating the String-typed and non-String-typed fields of the Cart class. When they are conflated we get warnings from the string solver.
