check that state methods return NextState