In ac, as in many computer languages, variables are considered uninitialized after they are declared. A variable needs to be given a value (in an assignment statement) before it can be correctly used in an expression or print statement. Suggest how to extend ac's semantic analysis (Section 2.6) to detect variables that are used before they are properly initialized.