The node you are looking for is at gnat_rm/compatibility_and_porting_guide more-deterministic-semantics.