“…These experiments thus verify that an instance in the present study can be transformed into many instances of [13], thereby also verifying the correctness of SONG. [3,9]t [2,5]a [4,9]g [1,8]t [2,9]a P3 g [1,9]t [1,9]a [1,9]g [1,9]t [1,9]a [1,9]g [1,9]t [1,9]a [1,9]g [1,9]t P4 g [1,5]t[0,6]a [2,7]g [3,9]t [2,5]a [4,9]g [1,8]t [2,9]a [1,9]g [1,9] …”