fix bug regarding generalization after closure