added upper limit to clause size fed to glucose