List<Row> rows = main.stateTable().rows();
assertTrue(rows.size() == 2);
List<Value> values = new LinkedList<Value>();
values.add(new Value(Constants.TRUE_REPR));
Row rowTrue = new Row(values, Constants.IMPOSSIBLE_NAME);
assertTrue(rows.get(0).equals(rowTrue));
values.clear();
values.add(new Value(Constants.FALSE_REPR));
Row rowFalse = new Row(values, Constants.IMPOSSIBLE_NAME);
assertTrue(rows.get(1).equals(rowFalse));
}