Assessing the usefulness of type inference algorithms in representing Java control flow to support software maintenance tasks.