fixing begs with kcc in adding smt=none

In this case, it might not be necessary. however, if we do not add this, the parser might not be able to figure out a correct way of parsing, and give us warning about ambiguity, since we do not have associative matching in java backend.