fixes checking whether diagonal constraints clause is in all diagonal constraints clauses
div was not for getting a slope. e.g) 2  (-3) == -1
fixes problem of exhausted test data before falsification by reducing the range of test data
fixes wrong diagonal constraints