Fix bug which produced circular sequents.