fold_op
static void fold_op(struct stmt *, int, int);
fold_op(s, val[A_ATOM], K(s->k));
fold_op(s, val[A_ATOM], val[X_ATOM]);