LTL and symbolic backend: fixing the 'ltl' attribute issue for rules.
Added copyright form.
Removed mathematical notation from comments.
Fixing Dwight's comments.
Extract the code which builds the implication term into a separate function.
Added junit test for ResolveLtlAttributes transformer. It seems that Mockito doesn't work that well with iterators...
Modified junit test to use term equality instead of string equality.
Added copyright for LTLModelChecker test.
Merge pull request #338 from andreiarusoaie/ltl-attributes

LTL and symbolic backend: fixing the 'ltl' attribute issue for rules.