Efficient analysis of event processing applications