[LFC] Introduce UsedHorizontalValues::Constraints