let is_rigid v = 
  let desc = UnionFind.find v in
    desc.kind = Rigid || desc.kind = Constant