You understood the question correctly 
I did not find any pages explaning this methodology, of when a GUID can be the same in IFC files.
For the general users, that would be quite helpful ex. here.
1 Like