#KJ-128 Add support for LTL model checking. Added all the support required to verify BlockingQueue programs.