@Test
 public void mismatchedSymbolIsReplaced() throws Exception {
   testContext.setSymbol("S", "Value");
   assertExpectationMessage("$S", "WrongValue", "fail(a=WrongValue;e=$S->[Value])");
 }
 @Test
 public void matchedSymbolIsReplaced() throws Exception {
   testContext.setSymbol("S", "Value");
   assertExpectationMessage("$S", "Value", "pass($S->[Value])");
 }