code: def bound_variables(xmrs):
      
      bvs = set(
          ep.intrinsic_variable for ep in xmrs.eps()
          if ep.is_quantifier() and ep.intrinsic_variable is not None
      )
      return sorted(bvs, key=var_id)
docs: Return the list of all bound variables in *xmrs*