Update of Simon Book 4 High Level Analysis