The node you are looking for is at gnat_ugn/gnat_and_program_execution gnat-abnormal-termination-or-failure-to-terminate.