AI-0064 Redundant finalization rule
This is an editorial change only. The intended behavior is already checked by an existing ACATS test, which GNAT has always executed correctly.