Copying safety and liveness properties of computational artefacts