added an optimization to deal only with formulas that have the requisite number of input reads
added an optimization to deal only with formulas that have the requisite number of input reads

Quetzal-RDF/synthesis,Quetzal-RDF/synthesis,Quetzal-RDF/synthesis,Quetzal-RDF/synthesis,Quetzal-RDF/synthesis