proof output for SCCs and Usable Rules