Fix for unbounded lower bound operation. Added uniqueness requirements to global identifiers.