tri
tri t;
BufferArray<tri> fTriangles;
Id tri = reqq.elements[i];
FOR_PROVIDES(p2, pp2, tri)
printf("add trigger uninst->inst edge (%s -> %s -> %s)\n", pool_solvid2str(pool, p2), pool_dep2str(pool, tri), pool_solvid2str(pool, p));