Vitkin's Program Reduction