Complexity about rev and append