MC tweak symbol difference resolution for non-local symbols.