New low-level access to the raw assumptions

[cbm755]

Its not an API change cuz we weren't using the API. Also clean up the logic little: no need to special case empty nor explicitly make a list.