[eacsl] Add `Functions.RTL.is_generated_name` to the interface

src/plugins/e-acsl/E_ACSL.mli

@@ -39,6 +39,14 @@ module Translate: sig
       a single expression. *)
 end
 
+module Functions: sig
+  module RTL: sig
+    val is_generated_name: string -> bool
+    (** @return [true] if the prefix of the given name indicates that it has been
+        generated by E-ACSL instrumentation (see [mk_gen_name] function). *)
+  end
+end
+
 (** No function is directly exported: they are dynamically registered. *)
 
 (*