Fixed double fold in dfs
Fixed double fold in dfs

    * Open insert and open_insert_condition both needed to fold
      because init didn't fold and used open_insert
    * todo: look for more general solution
            (i.e. call serialize before open_insert_condition)

thedobs/LTSmin,utwente-fmt/ltsmin,buschko/ltsmin,thedobs/LTSmin,alaarman/ltsmin,lordqwerty/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,lordqwerty/ltsmin,Sybe/composition,lordqwerty/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,thedobs/LTSmin,vbloemen/ltsmin,trolando/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,trolando/ltsmin,vbloemen/ltsmin,buschko/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,buschko/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,buschko/ltsmin,trolando/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,vbloemen/ltsmin,trolando/ltsmin,Sybe/composition,lordqwerty/ltsmin,Sybe/composition,alaarman/ltsmin,vbloemen/ltsmin,Sybe/composition,thedobs/LTSmin,Meijuh/ltsmin,Meijuh/ltsmin