Diagnosis
When a specification is copied, its value assignments should be copiedas well. In this case, an error occurred with the result that somevalue assignments may be missing in the copy.