Upgrade NDProofs to interpret arguments.