Staged Program Repair in SPR (Supplementary Material)