A high-level language or a compiler wasn't automating end-to-end reasoning for a programming task.

[dead]