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