Add inequality testing to AST.