Add -ddump-states.