code: def expand_region(f, a, b):
      """Attempts to find u, v with u <= a, v >= b such that f(u, v) is true.
      Assumes that f(a, b) is already true.
      """
      b += find_integer(lambda k: f(a, b + k))
      a -= find_integer(lambda k: f(a - k, b))
      return (a, b)
  
imports: from __future__ import absolute_import, division, print_function
  from collections import defaultdict
  import attr
  from hypothesis.internal.compat import hbytes, hrange, int_from_bytes, int_to_bytes
  from hypothesis.internal.conjecture.choicetree import ChoiceTree
  from hypothesis.internal.conjecture.data import ConjectureResult, Overrun, Status
  from hypothesis.internal.conjecture.floats import DRAW_FLOAT_LABEL, float_to_lex, lex_to_float
  from hypothesis.internal.conjecture.junkdrawer import binary_search, replace_all
  from hypothesis.internal.conjecture.shrinking import Float, Integer, Lexical, Ordering
  from hypothesis.internal.conjecture.shrinking.common import find_integer
label_desc: Use image node_id 5 for calling a global function with example usage: expand_region(f, a, b) and returns: a,  b