chg: added test for possible seg fault in factorization
chg: update realclassify.lib

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

chg: update realclassify.lib
Merge pull request #399 from mmklee/bug_fac

chg: added test for possible seg fault in factorization