Successfully makes joint transition labels for statements e.g 't 0, 1, 2 -> S0'