(Given) (Conclusion) in1 in2 inn join(in1, in2, …, inn) out = transfer(basic_block, join(in1, in2, …, inn)) Basic block …