Added a test for non-unifiable documents