@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))); }