graph: instruction.inputs <= [InstrId]