ContractsToProps
val translate_file : string -> string -> unit
Translates the contract from the first file into properties and writes the result in the second file.