Member predicate ControlFlowNode::isDefinition

Use NameNode.isStore()

predicate isDefinition()