The second problem was that we didn't clear the propnet when getting the next state. The main issue is that we originally set initProposition's value to true, and never resetted it.