def frontier_start(self):
        pass
lvalue : symbol
dataset/ETHPy150Open scrapinghub/frontera/frontera/core/components.py/StartStopMixin.frontier_start--crossover with--dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_lvalue_symbol