1 2 3 4 5
c{0: 0 (((1 integer)) <- ((copy)) ((0 literal))) -- nil c{0: 1 foo -- nil c{0: 2 (((2 integer)) <- ((copy)) ((0 literal))) -- nil c{1: 0 ✓ (((1 integer)) <- ((copy)) ((0 literal))) c{1: 2 ✓ (((2 integer)) <- ((copy)) ((0 literal)))