Add regression test which checks that inverse transitions are not performed when FILTER clause contains a volatile function