let get_max_length_message () =
if((!max_length_message) < 0)
then(
let all_actions = List.flatten (List.map (fun (_,_,_,actionsL) -> actionsL) (!automate)) in
let all_messages = List.flatten (List.map (fun (initial,_,final) -> [(findIknows initial);(findIknows final)]) all_actions) in
let max_length = max_length_string all_messages in
max_length_message := max_length;
max_length
)
else (!max_length_message)