add execute function. Do not reduce parens on "c", and always recurse for right-hand-side.