Added support for multiple threads and incremental analysis to pit