testing support for LTL