The register simulator recognizes duplicate labels now