compute graphs lazily so that .dot files are produced even if execution fails
big switch example