'NimAudit.Bypass.tf_frames' depends on axioms: [propext]
'NimAudit.Bypass.bypass_twoFrame' depends on axioms: [propext, Classical.choice, Quot.sound]
'NimAudit.Bypass.restReply_uses_restN' depends on axioms: [propext, Quot.sound]
'NimAudit.Bypass.bypass_multiHead' depends on axioms: [propext, Classical.choice, Quot.sound]
'NimAudit.Bypass.bypass_recurrent' depends on axioms: [propext, Classical.choice, Quot.sound]
'NimAudit.Bypass.prop_bypass_interfaces' depends on axioms: [propext, Classical.choice, Quot.sound]
'NimAudit.Bypass.mhExec_winsOnEnc' depends on axioms: [propext, Classical.choice, Quot.sound]
'NimAudit.Bypass.no_ac0_mhExec_allBoards' depends on axioms: [propext, Classical.choice, Quot.sound]
'NimAudit.Bypass.no_net_mhExec_allBoards' depends on axioms: [propext, Classical.choice, Quot.sound]
'NimAudit.Bypass.no_net_rec_allBoards' depends on axioms: [propext, Classical.choice, Quot.sound]
'NimAudit.Bypass.bypass_barriers' depends on axioms: [propext, Classical.choice, Quot.sound]
'NimAudit.Bypass.twoFrame_promised_parity' depends on axioms: [propext, Classical.choice, Quot.sound]
'NimAudit.Bypass.one_transition_diff' depends on axioms: [propext, Quot.sound]
'NimAudit.Bypass.ctrlOuts_two' depends on axioms: [propext]
'NimAudit.Bypass.diff_of_transition' depends on axioms: [propext, Classical.choice, Quot.sound]
'NimAudit.Bypass.diff_with_postMove' depends on axioms: [propext, Classical.choice, Quot.sound]
'NimAudit.Bypass.diff_decision_only' depends on axioms: [propext, Classical.choice, Quot.sound]
'NimAudit.Bypass.replay_move_current' depends on axioms: [propext, Classical.choice, Quot.sound]