import python
import Util

from SsaSourceVariable var, ControlFlowNode defn, string kind
where
  not var instanceof SpecialSsaSourceVariable and
  (
    var.hasDefiningNode(defn) and kind = "definition"
    or
    var.hasRefinement(_, defn) and kind = "refinement"
  )
select locate(defn.getLocation(), "ab"), var.(Variable), defn.toString(), kind