Added sets of ltl expressions