Vertical_constraint_graph