Fix pocman model

Remove incorrect assert for num_food == 0. That's legitimate, so deal with
it instead of halting.