MAYBE MAYBE TRS: { ++(x, nil()) -> x, ++(++(x, y), z) -> ++(x, ++(y, z)), ++(nil(), y) -> y, ++(.(x, y), z) -> .(x, ++(y, z)) } Fail