rename check3 folder to check3a, add one more test for that check
fix test generation script (I have no idea if it works though)