[Single Vertex] Exploiting the Constraints <c, x> < z

Information: [Single Vertex] Exploiting the Constraints <c, x> < z