Learn more about cloning repositories
You have read-only access
Verifier should traverse BBs in RPOT order. This ensures that any open_existential instructions opening archetypes are seen before the uses of these archetypes.
