A major overhaul on NodeFactory.
(One lesson learned: NEVER takes the address of an element in a
container!)

Also added field-sensitivity into the analysis. (GEP is always hairy)

The global constraint collection is done. Now it's time to proceed to
local constraints