We use Check everywhere but there are no tests for it Per #1, one of the things we should test is that duplicate-named outputs result in an error.