Variable capture: allow arbitrary data-flow nodes to be the source of a write
Unit
import codeql.util.Unit