all the test-graph code typechecks, but some bang graph tests fail