Preserve symbolic List frames in matcher residuals - #4162

Preserve symbolic List frames in matcher residuals#4162

malturki wants to merge 1 commit into

runtimeverification:masterruntimeverification/haskell-backend:masterfrom

malturki:fix/list-frame-matcher-4161malturki/haskell-backend:fix/list-frame-matcher-4161Copy head branch name to clipboard