@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;
	}
@ Override public ControlFlow visitProperty ( Decl . Property declaration , DefinitelyAssignedSet dummy ) { DefinitelyAssignedSet environment = new DefinitelyAssignedSet ( ) ; environment = environment . addAll ( declaration . getParameters ( ) ) ; visitExpressions ( declaration . getInvariant ( ) , environment ) ; return null ; }
Check a function or method declaration for definite assignment.

@param declaration
@return