def p_expr_expr_bangeq_expr(p):
    p[0] = da.App(da.Not(),da.App(da.Eq(),p[1],p[3]))
Returns the suffix used to select an appropriate linking rule depending on
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_expr_expr_bangeq_expr--crossover with--dataset/ETHPy150Open adblockplus/gyp/pylib/gyp/generator/ninja.py/_GetWinLinkRuleNameSuffix