optimize AtLeastHandler.attach
optimize ClauseHandler.attach