Change the implementation of successors of ptrie into a list