small fix in ScopedTerm
fixed CNF transformation (especially nnf)