[deref] Split a test to show both global and pointwise semantics

While doing so, also split one monster test into individually named test functions.