testAssert(sep.reverseSeparated().toTerm().isEqual(patternReversed), "separated reverse toTerm test");
Module head = sep.getHead();
testAssert(head.isEqual(factory.makeModule_Default("m1")), "separator from term test, head");
Layout l1 = sep.getWsl();
testAssert(l1.isEqual(factory.makeLayout_Default("l1")), "getSeparator test l1");
Layout l2 = sep.getWsr();
testAssert(l2.isEqual(factory.makeLayout_Default("l2")), "getSeparator test l2");
Module second = sep.getTail().getHead();
testAssert(second.isEqual(factory.makeModule_Default("m2")), "separator from term test, second element");
Layout l3 = sep.getTail().getWsl();
testAssert(l3.isEqual(factory.makeLayout_Default("l3")), "getSeparator test l3");
Layout l4 = sep.getTail().getWsr();
testAssert(l4.isEqual(factory.makeLayout_Default("l4")), "getSeparator test l4");
testAssert(sep.getLength() == 4, "separated list length test");
sep = factory.makeSeparated();
testAssert(sep.toTerm().isEqual(factory.getPureFactory().makeList()), "empty separated list");