Added new functions solveViolationFor4NodeLessThan and solveViolationFor4NodMoreThan and added new tests codes