factory.save(filename, var);
TypedBDD bdd1 = (TypedBDD) var; factory.save(filename, bdd1.bdd);
    public void save(String filename, BDD var) throws IOException {        // TODO Auto-generated method stub        factory.save(filename, var);    }