finish processing undefined loads; setup undefined load metrics; fix processing for global structs with complex types; treat constant globals as constants for alias analysis
Added debug messages for store
Merged valgrind cleanup branch into main