Make sure that output bits cannot be used in the initialization assumptions