The postcondition of Reverse_Array was incorrectly expressed.