renamed:    realclassify_l.tst -> realclassify_s.tst
update realclassify_s.tst
change the implementation of the splitting lemma
Merge pull request #31 from steenpass/realclassify.lib

update realclassify.lib and the test file