Merge "Make PreciseCallState Constructor System API" am: c037935d74 am: 682ba08d42 am: 3b947c64b6

Change-Id: Ia58cd49fd4bbd2c7ebb6eadfb153506603cc924a