Symbol: gf_strong_reduce