@Test
public void testCheckDup() {

  Terminals.checkDup(asList("a", "b"), asList("+", "-"));
  Terminals.checkDup(asList("a", "b"), asList("A", "B"));
  assertDup(asList("a", "b"), asList("x", "b"));
}