* Added reference output for GNATProve GPL2014