Added two visitors. One checks the variables defined in statements and
the other checks the identifiers defined.