def p_expr_expr_GE_expr(p):
    p[0] = da.App(da.InfixRelation(p[2]),p[1],p[3])
    p[0].lineno = p.lineno(2)
Return True if the url belongs to the given spider
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_expr_expr_GE_expr--crossover with--dataset/ETHPy150Open scrapy/scrapy/scrapy/utils/url.py/url_is_from_spider