✏️ Editing: mitigate_smt_rsb