Tests that the DFG knows that a function that appears like Math.abs could potentially use value in arbitrary ways, and not just in a context that converts values to numbers.
On success, you will see a series of "PASS" messages, followed by "TEST COMPLETE".