At some point, 0 actions, assert unsatisfied