Computed relation: A “definition-use-pair” for a particular variable.
Intuitively, this means that
def is an assignment to
use is a read of
var at which the value assigned by
be read. (There can be more than one definition reaching a single
use, and a single definition can reach many uses.)