The node you are looking for is at gnat_rm/implementation_advice rm-d-6-9-10-preemptive-abort.