Slightly more powerful test of trim_states