def p_expr_expr_MINUS_expr(p):
    p[0] = da.App(da.InfixSymbol(p[2]),p[1],p[3])
    p[0].lineno = p.lineno(2)
Try to find the epoch by find the first numeric string, and seeing if
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_expr_expr_MINUS_expr--crossover with--dataset/ETHPy150Open jlisee/xpkg/python/xpkg/util.py/Version._parse_epoch