dbg constraint.