fixes a bug where incomplete sequents didn't get instantiated partially