diff.c: emit_diff_symbol learns DIFF_SYMBOL_CONTEXT_FRAGINFO