Fix hardened precondition for copy constructor (#89, thanks @T-Bakker)

Fix hardened precondition for copy constructor (#89, thanks @T-Bakker) #59