return null;
Set d = makeSet(); return new TypedBDD(factory.load(filename), d);
    public BDD load(String filename) throws IOException {        // TODO Auto-generated method stub        return null;    }