Pattern matching issue at line 161 of nts.ml

Replacing CntNdet(_) with CntNdet