fixing begs with kcc in adding smt=none

Are the parens really necessary, out of curiosity? Is "~>" left associative now?