Fix test-suite file to test original bug, not the failure of the guard
condition.
Fix test-suite file 3352 which was containing the wrong test.
Add test-suite file for the projection unfolding bug I just fixed.