fixing begs with kcc in adding smt=none

Was this intentional? Does it make sense to include these changes?