Gets the target variable of this definition or use.
isDef parameter is needed in order to ensure disjointness
of definitions and uses; in a variable initialization such as
int x = y,
y is both a definition of
x, as well as a use of
isDef is used to distinguish the two situations.