add != to tautology parser