NativeTerm is replaced by a Term without args