Replace NativeTerm by a Term without args