@Override public boolean remove(Object ci) { if (super.remove((ClauseInfo) ci)) { unregister((ClauseInfo) ci); return true; } return false; }