Symbol: compute_effective_progs