public void testEmptyModel() { Assert.AreEqual(null, m.getStatus(new Symbol("P"))); Assert.AreEqual(true, m.isUnknown(new Symbol("P"))); }