//1. Find the binaries that can be injected
List<Formula> injections = fbFormulasInfo.getInjectableBinaries(fgInfo.bInfo.formula);
//2. For each one find the type2 and try to find entities
LogInfo.begin_track("Injecting %s injections to binary %s",injections.size(),fgInfo.bInfo.formula);
for(Formula injection: injections) {
BinaryFormulaInfo injectionInfo = fbFormulasInfo.getBinaryInfo(injection);
List<EntityInfo> injectedEntities = findInjectedEntities(lInfo,fgInfo.entityInfo1.span,injectionInfo.expectedType2,entities);
for(EntityInfo injectedEntity: injectedEntities) {
res.add(new FormulaGenerationInfo(fgInfo.bInfo, injectionInfo, fgInfo.entityInfo1, injectedEntity, fgInfo.uInfo, fgInfo.isCount, true, fgInfo.isUnary));
}
}