public override void visit_local_variable(LocalVariable local)
 {
     local.accept_children(this);
 }