Add test case for joining threads with arrays
Add SV-COMP'13 Sigma benchmark as test case