make createJTLVinput.writeLTLfile work well with LTLParser