let is_slack sl = function Slack(_, sl') when sl = sl' -> true | _ -> false