Toward deep-learning models that can reason about code more