@Test
  public void testGetVariableMap()
      throws BadExpressionException, ContradictionException, TimeoutException {
    FormulaBuilder formulaBuilder = new FormulaBuilder("(a and b) or (a and c)");

    BidiMap map = formulaBuilder.build().getVariableMap();

    assertTrue(map.size() == 3);
    assertTrue("a".equals(map.get(1)));
    assertTrue("b".equals(map.get(2)));
    assertTrue("c".equals(map.get(3)));
  }