Use the abstracted Program model

Remove 3 lines of code, yay.