minor changes in icse2016 benchmarks
minor changes in icse2016 benchmarks

hussamaibrahim/dsverifier,ssvlab/dsverifier,hussamaibrahim/dsverifier,hussamaibrahim/dsverifier,ssvlab/dsverifier,hussamaibrahim/dsverifier,ssvlab/dsverifier,ssvlab/dsverifier,hussamaibrahim/dsverifier,ssvlab/dsverifier,ssvlab/dsverifier,ssvlab/dsverifier,hussamaibrahim/dsverifier