During debugging of #53, I have discovered a problem in the way the gold emf model is indexed in the lens for the purpose of evaluating policy queries. As a standard IncQuery base indexer is used, EObjects not incorporated in the containment tree are not indexed. This may cause unexpected results (specifically, missing denial matches leading to under-restriction) for newly created objects, or objects being deleted during PUTBACK.
During debugging of #53, I have discovered a problem in the way the gold emf model is indexed in the lens for the purpose of evaluating policy queries. As a standard IncQuery base indexer is used, EObjects not incorporated in the containment tree are not indexed. This may cause unexpected results (specifically, missing denial matches leading to under-restriction) for newly created objects, or objects being deleted during PUTBACK.