Added 'private' to some variable in ZDD