code: def sfilter(pred, brule):
      """Yield only those results which satisfy the predicate"""
  
      def filtered_brl(expr):
          yield from filter(pred, brule(expr))
  
      return filtered_brl
  
file_path: sympy/sympy/strategies/branch/core.py
label_desc: Use image node_id 7 for calling a global function with example usage: sfilter(pred, brule) and returns: filtered_brl