code: @Override
  	public ControlFlow visitProperty(Decl.Property declaration, MaybeAssignedSet dummy) {
  		MaybeAssignedSet environment = new MaybeAssignedSet();
  		// Definitely assigned variables includes all parameters.
  		environment = environment.addAll(declaration.getParameters());
  		//
  		return null;
  	}
docs: Check a function or method declaration for definite assignment.
  
  @param declaration
  @return