#KJ-128 Add support for LTL model checking. Fixed bugs in LTL support. Should be able to verify BlockingQueue now.