Generate a list of state, signal pairs as a side effect of generating signal assignments.