@Override
 public void visit(Tree.InitializerParameter that) {
   super.visit(that);
   Parameter d = that.getParameterModel();
   Declaration a = that.getScope().getDirectMember(d.getName(), null, false);
   if (a != null && a == declaration) {
     specify();
     hasParameter = true;
   }
 }