Replaced a call to (not (eq with (<> in ValidBlockIdentification.clp

This was done to make the code slightly more efficient by having one native
call instead of two for each match attempt when dealing with successor checks