1) added timeouts to the JUnit tests
2) no longer propagating the postdominator stack in to callees
3) abstractions with empty access paths are now propagated over the call-to-return edges
some further optimizations for implicit flows, reduced abstraction size and dependencies once more
added a missing class