remove noisy SCC annotations before printing corebinds.

fixes #48