fixing begs with kcc in adding smt=none