add EXTSWSLI "pass" to formal shift_rot proof