really fixed syntax bug in DFG output (cf. ef62c2fafa9e)
really fixed syntax bug in DFG output (cf. ef62c2fafa9e)

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle