Fix: when the silent is made rif mode, say it!

lib/sasacore/sasa.ml

-(* Time-stamp: <modified the 27/03/2019 (at 17:28) by Erwan Jahier> *)
+(* Time-stamp: <modified the 28/03/2019 (at 16:24) by Erwan Jahier> *)
 
 open Algo
 open Sasacore
@@ -119,7 +119,11 @@ let  (simustep: int -> int -> SasArg.t -> Process.t list -> string ->
                            (List.flatten enab_ll))
     in
     if (List.flatten all = []) then (
-      print_step n i args e pl activate_val enable_val; 
+      print_step n i args e pl activate_val enable_val;
+      if args.rif then (
+        Printf.eprintf  "\n# Sasa is silent; no more processes can be enabled\n";
+        Printf.printf  "\nq\n";
+        flush stderr; flush stdout);
       raise (Silent (n-i+1))
     );
     print_step n i args e pl activate_val enable_val;