add futures to future pool (now actually resulting in synchronisation)

- rework graph flattener to not add unneeded elements