Warning for executing stateful functions in non ANF positions

There should be warning for doing this

```
stateful function f() = 
  put(state+1)
  state
stateful function g() =
  put(state*2)
  state


put(10)
f() + g()  // what is the state now? 
```