Removed pseudocode for state check algorithm.

It is not needed anymore, we have an other solution for this problem.