org.eclipse.viatra.query.runtime.cps.tests.LiteralNumbersTest.negativeIntegerTest[3 : LocalSearch_NoBase]