Litmus Test: Make Sure Generated Microsummary Updates