WyIL: Updated DefiniteAssignmentCheck

Specifically, a minor tweak to the documentation for this function.