Add a test for the HasBody check

To verify the test fails without the HasBody check, just remove `.Where(m => m.HasBody)` from Program.Instrument.