Fix: in generated oracles, use an and pn instead of their values everywhere

lib/sasacore/genOracle.ml

-(* Time-stamp: <modified the 30/01/2020 (at 17:41) by Erwan Jahier> *)
+(* Time-stamp: <modified the 03/02/2020 (at 09:51) by Erwan Jahier> *)
 
 open Process
 
@@ -42,7 +42,7 @@ let (f: Topology.t -> 'v Process.t list -> string) =
   let input_trig = ";\n  "^(String.concat "," al) ^ ":bool" in
   let input_enab = ";\n  "^(String.concat "," enabl) ^ ":bool" in
   let input_decl = input_state^input_enab^input_trig in
-  let array_decl = Printf.sprintf "\tActi:bool^%d^%d;\n\tEnab:bool^%d^%d;\n" m n m n in
+  let array_decl = Printf.sprintf "\tActi:bool^an^pn;\n\tEnab:bool^an^pn;\n" in
   let acti_name p a = Printf.sprintf "%s_%s" p.pid a in
   let enab_name p a = Printf.sprintf "Enab_%s_%s" p.pid a in
   let array_def_acti =