fix bug of missing setting sp->num and sp->taints of
certain subcase.