Added test for LTL pattern matching variables.