Allow function inlining in quantifiers#1225

thanhnguyen-aws wants to merge 6 commits into

strata-org:main2strata-org/Strata:main2from

thanhnguyen-aws:inlinequantthanhnguyen-aws/Strata:inlinequantCopy head branch name to clipboard