let is_nonneg_slack = function Slack(_, Nonneg _) -> true | _ -> false