let initialisation protocol_name =
lineCounter := 1;
errorNumber := 0;
total_states := 0;
reachable_states := 0;
intru_store := None;
properties := [];
localtab := [];
localobjtype := [];
localtabletype := [];
role_table := [];
not_forgeable := [];
maybe_sooner_present := false;
token := 0;
current_protocol := protocol_name;