* spot/tl/formula.hh, spot/tl/formula.cc: Rework the initialization of fnode. * NEWS: Mention the bug.