lambda-to-ccc-def. Doesn't work. See note in test/Adder.hss