all @atom values in the entire scope must be unique

[yegor256]

Let's check the entire scope of .xmir files under analysis and make sure all values of @atom attribute are unique.

[h1alexbel]

@yegor256 assign me, please

[maxonfjvipon]

@yegor256 why do we need to check that uniqueness? The @atom attribute just contains the "type" of returned object from lambda

[yegor256]

@yegor256 @h1alexbel my mistake. Instead, we should check that objects with @atom attribute have unique FQNs. Thus, the following situation is not legit:

In foo.eo:

+package xyz

[] > a /number

In bar.eo:

+package xyz

[] > a /number

The FQN in both objects is xyz.a, but every atom must have a unique one.