value propagation analysis for structs/arrays