Add SV-COMP'13 Sigma test case