public void testExtendModel() { String p = "P"; m = m.extend(new Symbol(p), true); Assert.AreEqual(true, m.getStatus(new Symbol("P"))); }