# This method will create a file and output informations about this optimization
fun dump_out_of_init_information(directory_name: String) do
# This method will create a file and output informations about this optimization
fun dump_out_of_init_information(directory_name: String) do