Describir: Predicting Program Properties from 'Big Code'.