def not_lead_string(solver, cont, string): string = string.deref(solver.env) if parsed_(solver.parse_state).endwith(string): return solver.value = True
def lead_string(solver, cont, string): strArgument = deref(strArgument, solver.env) assert isinstance(strArgument, str) if not parsed_(solver.parse_state).endwith(strArgument):return yield cont, True