ADPfusion-0.5.2.2: Efficient, high-level dynamic programming.