Add test cases for upcoming work on join safety analysis.