security: detect object containment violations at the IR level