- fix bugs
- fix getremaining
- fix getcounters
- fix make don
- fix bdd structure