def p_field_var_vardecl(p):
    p[0] = da.VarDecl(p[2])
True if then is later or equal to that
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_field_var_vardecl--crossover with--dataset/ETHPy150Open rohe/pyoidc/src/oic/utils/time_util.py/later_than