let print_type_in_role_session (automate : (string * int * 'a * 'b) list): unit = List.iter (fun (name,id,_,_) -> add_type (get_name_in_session name id) (get_role_signature name)) automate