Added is_nnf