sig
  val opt_initial_procs : Ph_types.PSet.t Pervasives.ref
  val parse : Pervasives.in_channel -> Ph_types.ph * Ph_types.ctx
  val count_states : Ph_types.ph -> Big_int.big_int
  val count_sorts : Ph_types.ph -> int
  val count_processes : Ph_types.ph -> int
  val count_actions : Ph_types.ph -> int
  val ph_copy : Ph_types.ph -> Ph_types.ph
end