Use ordinary substitution for parameter mapping#60

cor3ntin merged 1 commit intocor3ntin:corentin/use_normalization_for_satisfactioncor3ntin/llvm-project:corentin/use_normalization_for_satisfactionfrom

zyn0217:use-normalization-for-satisfaction-fixupzyn0217/llvm-project:use-normalization-for-satisfaction-fixupCopy head branch name to clipboard