Join point test join001 doesn't seem to be properly automated
join001 was presumably used for manual testing (poring over the Core by hand). Unfortunately, the test suite runs it in an utterly bland fashion that doesn't appear to check whether the join point transformation is working as intended. The other join point tests run in this fashion (
join006) include notes indicating that Core Lint will trip if the desired property doesn't hold; there is no such note here.