Merge pull request #1 from pchapin/master

The postcondition of Reverse_Array was incorrectly expressed.
        * Allow for more time to discharge VCs, required for
          Reverse_Array, minor code correction to avoid hard-to-prove
          VCs