14. [PDTS] Incorrect postconditions for path copy/move constructor (GB-7, CH-10)