Init state height sendMessage recipient God address text counting star

1
2
Init :: h:state.height => sendMessage(recipient=God.address, text="counting started") :: Wait
Wait :: state.height - h == 5 => sendMessage(recipient=God.address, text="counting finished") :: Finish