StateRefのテストケースを追加