We could use some more cut points rules, here are some:

• --break-on-instrinsic-calls breaks on calling Intrinsics
• --break-on-function-calls breaks on calling Functions
• --break-on-thunks breaks on thunk
• --break-every-statement breaks every MIR Statement
• --break-every-terminator breaks every MIR Terminator
  • --break-on-terminator-goto breaks on calling TerminatorKind::Goto
  • --break-on-terminator-switch-int breaks on calling TerminatorKind::SwitchInt
  • --break-on-terminator-return breaks on calling TerminatorKind::Return
  • --break-on-terminator-call breaks on calling TerminatorKind::Call
  • --break-on-terminator-assert breaks on calling TerminatorKind::Assert
  • --break-on-terminator-drop breaks on calling TerminatorKind::Drop
  • --break-on-terminator-unreachable breaks on calling TerminatorKind::Unreachable
• --break-every-step breaks every MIR Statement and Terminator