Key in ir scopes Registry is a symbol similiar to IRScope#to_string
Add of spec for correct formatting of keys and update of example such that
each scope is in a different line of the string
Further specs on the content of the registry
Checking refilling of registry