parse LTL formulas only when it is necessary