[NTG-context] evaluation of != and ~=