Normalized whitespace in files
Added field Defined to SEGNode, changed idmap so no value is mapped to 0
Updated points-to analysis code
Throwaway merge just to make git happy