IF statements are examined carefully by KAP because they affect many of the transformations performed by KAP. The following sections discuss these transformations: