#KJ-127 Find an LTL formula for wait-notify-queue example. Prepared 4 tests related to wait-notify queue, that in future will be used for LTL model checking. For now just search.