Rewrite model (in progress)
- introducing hierarchical bounds computation