Generation of more complex constraints (a1 < v1 => a2 <= v2)