Add a comment

Author: reb-ddm

core/KaSa_rep/reachability_analysis/translation_in_natural_language.ml

@@ -302,9 +302,7 @@ let translate parameters handler error (rename_site_inverse : rename_sites)
         (error, []) (List.rev var_list)
     in
     match var_list with
-    | [] -> error, (handler, No_known_translation list)
-    (* OK if the agent
-       has no sites *)
+    | [] -> error, (handler, No_known_translation list) (* indirectly checks if the mvbdu is true *)
     | [ x ] ->
       let error, list =
         List.fold_left