WyIL: Updated DefiniteAssignmentCheck to work.