phc: add --reduce-for-goal option