Intersect eval_prog