chg: update realclassify.lib

The implementation of the splitting lemma has been changed.

viewLog.html?buildId=9589&tab=buildResultsDiv&buildTypeId=bt7