“find valid state” ported to rodin