the regular "&" operator for concatenation is not (yet) supported by GNATProve as of version GPL2013
Attach a file by drag & drop or click to upload
