changed grammar file in clafer.cf to have complex LTL expressions in LTL formulas