Added junit test for ResolveLtlAttributes transformer. It seems that Mockito doesn't work that well with iterators...