Added missign cases to nnf