Updated test data for latest CBMC trunk