Support for concurrent analysis. @author Asger Feldthaus <
asf@cs.au.dk
>