Duplicated state definition in smcat transpiler when running on REPL mode

[DrSensor]

Left: work fine in non REPL mode (scrap code)
Right: wrong output in REPL mode (scrap repl)