fixing begs with kcc in adding smt=none

Yes