The relationship between the types of side effects and their relationship to classes of const, pure, and unreusable functions as described in the previous section forms the basis of the development of our method. A simple technique is to calculate all four Banning sets and determine the proper annotations following the logic in the previous section. However, as we have emphasized, the information provided by the Banning sets is not all necessary to determine the class of functions. So it might not be the best technique, especially in terms of complexity.