check only legit transitions included in sucessors

[chudicek]

in the binary version of successors, only those that really change the value are considered to be successors (ie if state loops over itself, it is not a successor of itself). this is not checked in my implementation of the multi-valued successors tho iirc