code: @Override
  	public ControlFlow visitProperty(Decl.Property declaration, DefinitelyAssignedSet dummy) {
  		DefinitelyAssignedSet environment = new DefinitelyAssignedSet();
  		// Definitely assigned variables includes all parameters.
  		environment = environment.addAll(declaration.getParameters());
  		// Iterate through each statement in the body of the function or method,
  		// updating the set of definitely assigned variables as appropriate.
  		visitExpressions(declaration.getInvariant(),environment);
  		//
  		return null;
  	}
docs: Check a function or method declaration for definite assignment.
  
  @param declaration
  @return