Complexity reduction of the context-tree weighting algorithm by F.M.J. Willems