The node you are looking for is at gnat_ugn/the_gnat_compilation_model debugging-a-special-case.