Move 3 "(add (select cc, 0, c), x) -> (select cc, x, (add, x, c))"