1
Opaque definitions are processed as assumptions.