Add reference to parent state
To better support sleep-set reduction, and in order to implement guided model-checking algorithms, states are required to be able to find their unique predecessor (parent). This small change allows that.
To better support sleep-set reduction, and in order to implement guided model-checking algorithms, states are required to be able to find their unique predecessor (parent). This small change allows that.