two-phase handling of global variables to account for use before declare
two-phase handling of global variables to account for use before declare

davidlazar/llvm-semantics,kframework/llvm-semantics-old