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;