@type t() :: %Ex4pmEngine.WorkflowNet.SoundnessReport{
  dead_transitions: [String.t()],
  deadlocks: [map()],
  definition_3_3_valid?: boolean(),
  details: map(),
  livelock_detected?: boolean(),
  livelocks: [list()],
  no_dead_transitions?: boolean(),
  one_safe?: boolean(),
  option_to_complete?: boolean(),
  proper_completion?: boolean(),
  reachable_markings_count: non_neg_integer(),
  sound?: boolean(),
  terminal_markings: [map()],
  unbounded_places: [String.t()],
  violations: [String.t()]
}