'NimAudit.Shared.run_append' does not depend on any axioms
'NimAudit.Shared.run_prefix' depends on axioms: [propext]
'NimAudit.Shared.run_length' depends on axioms: [propext]
'NimAudit.Shared.rd_append_left' depends on axioms: [propext]
'NimAudit.Shared.rd_snoc' depends on axioms: [propext]
'NimAudit.Shared.rd_map' depends on axioms: [propext]
'NimAudit.Shared.rd_inv' depends on axioms: [propext]
'NimAudit.Shared.run_inv' depends on axioms: [propext]
'NimAudit.Shared.gstep_hom' depends on axioms: [propext, Quot.sound]
'NimAudit.Shared.run_hom' depends on axioms: [propext, Quot.sound]
'NimAudit.Shared.eval_hom' depends on axioms: [propext, Quot.sound]
'NimAudit.Shared.depth_hom' depends on axioms: [propext, Quot.sound]
'NimAudit.Shared.maxIn_hom' depends on axioms: [propext, Quot.sound]
'NimAudit.Shared.val_hom' depends on axioms: [propext, Quot.sound]
'NimAudit.Shared.formula_eval' depends on axioms: [propext, Quot.sound]
'NimAudit.Shared.formula_depth' depends on axioms: [propext, Quot.sound]
'NimAudit.Shared.formula_maxInput' depends on axioms: [propext, Quot.sound]
'NimAudit.Shared.size_list_pow' depends on axioms: [propext, Quot.sound]
'NimAudit.Shared.formula_size' depends on axioms: [propext, Quot.sound]
'NimAudit.Shared.emit_len' depends on axioms: [propext, Quot.sound]
'NimAudit.Shared.emitL_len' depends on axioms: [propext, Quot.sound]
'NimAudit.Shared.size_pos'' depends on axioms: [propext, Quot.sound]
'NimAudit.Shared.emit_val' depends on axioms: [propext, Quot.sound]
'NimAudit.Shared.emitL_val' depends on axioms: [propext, Quot.sound]
'NimAudit.Shared.emit_reads' depends on axioms: [propext, Quot.sound]
'NimAudit.Shared.emitL_reads' depends on axioms: [propext, Quot.sound]
'NimAudit.Shared.toDag_spec' depends on axioms: [propext, Quot.sound]
'NimAudit.Shared.formula_premise_of_dag' depends on axioms: [propext, Classical.choice, Quot.sound]
'NimAudit.Shared.dag_premise_of_formula' depends on axioms: [propext, Classical.choice, Quot.sound]
'NimAudit.Shared.network_readout_bound_dag' depends on axioms: [propext, Classical.choice, Quot.sound]