@Test
public void serialize() throws IOException {

	final TRS<String> trs = TRS.parse(
		"add(0,$x) -> $x",
		"add(S($x),$y) -> S(add($x,$y))",
		"mul(0,$x) -> 0",
		"mul(S($x),$y) -> add(mul($x,$y),$y)"
	);
	final byte[] data = IO.object.toByteArray(trs);
	Assert.assertEquals(IO.object.fromByteArray(data), trs);
}