code: def supercedes(a, b):
      """``a`` is a more specific match than ``b``"""
      if isvar(b) and not isvar(a):
          return True
      s = unify(a, b)
      if s is False:
          return False
      s = {k: v for k, v in s.items() if not isvar(k) or not isvar(v)}
      if reify(a, s) == a:
          return True
      if reify(b, s) == b:
          return False
  
file_path: pytorch/torch/fx/experimental/unification/match.py
imports: from .core import unify, reify
  from .variable import isvar
  from .utils import _toposort, freeze
  from .unification_tools import groupby, first
label_desc: Use image node_id 2 for calling a global function with example usage: supercedes(a, b) and returns: True, False, True, False