improved event-tree fixpoint detection - checking coverage by multiple
enclosures