Add plug point for treating arguments as locals#315

frabert wants to merge 12 commits intomasterlifting-bits/rellic:masterfrom

frabert/pluggable-varslifting-bits/rellic:frabert/pluggable-varsCopy head branch name to clipboard