jpf-ltl fixed