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

Implemented a feature which allows the LTL model-checker to work together with the symbolic backend. 
@dwightguth Please review.
@dlucanu Please review.