If the optimistic bound of a node is lower or equal to the global pessimistic bound, then it prunes away that node.

This is currently not true. The implementation only prunes away nodes with lower optimistic bound. Therefore some "worthless" nodes are pointlessly expanded and so the exhaustive search is slightly less effective than it was intended.