be sure to parenthesize subconjunts when flattening LTLformula lists in createJTLVinput