update call&branch stmt reference; update Constant prop opt