laurel: wire old() to Core two-state semantics#1203

julesmt wants to merge 1 commit into

main2strata-org/Strata:main2from

julesmt/features/laurel-old-two-statestrata-org/Strata:julesmt/features/laurel-old-two-stateCopy head branch name to clipboard