Tests corruption of pvalue (specifically, pv4 annotation) by subset operation

Adds a test for issue #16
N.B. this test currently fails