instance counter restored

src/causality.ml

@@ -105,7 +105,7 @@ module ExprDep = struct
      program/schedule, but used to simplify causality analysis *)
   let mk_instance_var eq f =
     incr instance_var_cpt;
-    Format.sprintf "%s_%d" f (fst eq.eq_loc).Lexing.pos_lnum
+    Format.sprintf "%s_%d_%d" f (fst eq.eq_loc).Lexing.pos_lnum !instance_var_cpt
 
   let mk_call_instance_var id =
     Format.sprintf "?%s" id
@@ -739,7 +739,7 @@ module Disjunction = struct
    *   Hashtbl.remove map v.var_id;
    *   Hashtbl.iter (fun x mapx -> Hashtbl.replace map x (CISet.remove v mapx)) map *)
 
-  let pp_disjoint_map fmt map =
+let pp_disjoint_map fmt map =
     Format.(
       fprintf fmt "@[<v 2>{ /* disjoint map */%t@] }" (fun fmt ->
           Hashtbl.iter