Whether this name is (almost) always defined, ie. it is a builtin or VM defined name
An SSA variable that is backed by a global variable
A single static assignment variable. An SSA variable is a variable which is only assigned once (statically). SSA variables can be defined as normal variables or by a phi node which can occur at joins in the flow graph. Definitions without uses do not have a SSA variable.