fix: static args were missing in the generated oracles

lib/sasacore/genOracle.ml

-(* Time-stamp: <modified the 10/07/2023 (at 10:57) by Erwan Jahier> *)
+(* Time-stamp: <modified the 09/02/2024 (at 10:07) by Erwan Jahier> *)
 
 open Process
 
@@ -118,7 +118,7 @@ node oracle(legitimate:bool;%s%s) \nreturns (ok:bool);
 var
   %slet
   %s  %s  %s
-  ok = %s_oracle(legitimate,%s Enab, Acti, Config, round, round_nb);
+  ok = %s_oracle<<an,pn>>(legitimate,%s Enab, Acti, Config, round, round_nb);
 tel