Compile state and check circular depends