Automatically detecting and describing high level actions within methods
Automatic documentation inference for exceptions