let explode t = 
  (* use of [chopi] is OK here, as this function is used only during pretty-printing *)
  let v = chopi IntRank.outermost t in
    match (UnionFind.find v).structure with
        None -> Var v
      | Some t -> t