`s/pruned/RlistReverse(pruned)/` here.