fix Issue 12080 - Internal error: backend/symbol.c 1035 for invariant