let is_flexible v = 
  let desc = UnionFind.find v in
    desc.kind = Flexible