Describir: Validity Generalization Results for Computer Programmers.