private void testSeparatedElementAt() {
Separated triple =
factory.SeparatedFromString("[\"m0\",l(\" \"),\"sep\",l(\" \"),\"m1\",l(\" \"),\"sep\",l(\" \"),\"m2\"]");
for (int i = 0; i < 3; i++) {
Module m = (Module) triple.elementAt(i);
Module ref = factory.makeModule_Default("m" + i);
testAssert(m.isEqual(ref), "elementAt " + i);
m = triple.getModuleAt(i);
testAssert(m.isEqual(ref), "getModuleAt " + i);