org.eclipse.viatra.query.runtime.cps.tests.LiteralNumbersTest.negativeIntegerWithCheckTest[2 : LocalSearch_Flat]