Converting another couple of cases to use Assume for skipping