Simplify handling of loads that make an assumption

We can ensure that some_rf is nonempty whenever assume_map is nonempty
and we know that the load under question is an "assume" event.