extensions to HiFlow3-exporter and corresponding example file in run_examples.py