BUGFIX: corrected deletion of critical pairs