Added support for LTL formulas + fairness conditions