enable undissolved k cell for debugging;
finish changes on ConsumerStackStmt, but isC... cannot be done