Indentation as a diff complexity metric
wadler.blogspot.com