wip:
- access the number of volumes from top state
- allow |V| to denote the number of volumes of type V in current
compartment (update variable evaluation accordingly)