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)))