This patch adds KillStruct() to region store. When we assign UnknownVal to a struct, we set the region's default value to Unknown, and remove bindings for all subregions of the struct region.<br><br>-Zhongxing Xu<br>