static UnfoldingEvent* find(const EventSet events, const UnfoldingEvent* e);
static void subtract(EventSet& events, EventSet const& otherSet);
static bool depends(EventSet const& events, EventSet const& otherSet);
static bool isEmptyIntersection(EventSet evtS1, EventSet evtS2);
static UnfoldingEvent* find(const EventSet events, const UnfoldingEvent* e);
static void subtract(EventSet& events, EventSet const& otherSet);
static bool depends(EventSet const& events, EventSet const& otherSet);
static bool isEmptyIntersection(EventSet evtS1, EventSet evtS2);