fixing begs with kcc in adding smt=none

...fix?