![[previous]](../icons/left.gif){kind=icon}
![[up]](../icons/up.gif){kind=icon}
![[next]](../icons/right.gif){kind=icon}
![[contents]](../icons/contents.gif){kind=icon}
The program window contains an annotated version of original program. The additional annotations are font and color changes that present information about the results of the analysis. The information presented in these annotations is described below.