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