Change syntax of StackConsumer stmts according to SDF (use EXP instead of K), put the old definition in statements.k because K is still needed for computation.