val input_file: string -> string (** read all the contents of file to string *)
val output_file: string -> string -> unit (** write string to file *)
+val absolute_path: string -> string
+
(** @return true if file is a (textual) proof script *)
val is_proof_script: string -> bool