Worked examples of LAVA testsΒΆ

FIXME - needs some text