chg: update realclassify.lib

The implementation of the splitting lemma has been changed.
Merge pull request #403 from steenpass/realclassify_sw

chg: update realclassify.lib