Fix CallElimCorrect proof#264

thanhnguyen-aws wants to merge 8 commits intostrata-org:mainstrata-org/Strata:mainfrom

thanhnguyen-aws:fixcallelimthanhnguyen-aws/Strata:fixcallelimCopy head branch name to clipboard