Adds inlined recursion with pretty conservative guard#61

Draft

mikesol wants to merge 14 commits intoaristanetworks:mainfrom mikesol:inlined-recursion3

+262-11

Commits on Jun 22, 2023

Semantics
Mike Solomon
committed
Adds test
Mike Solomon
committed
Adds a couple more cases
Mike Solomon
committed

Commits on Jun 25, 2023

Renames main to test1
Mike Solomon
committed

Commits on Jun 26, 2023

Adds first guard
Mike Solomon
committed
Adds test
Mike Solomon
committed
Removes spurious true
Mike Solomon
committed
Shrinks to one test
Mike Solomon
committed
Adds NeutLit to guard
Mike Solomon
committed
Smarter function
Mike Solomon
committed
Adds test for non-terminating recursion
Mike Solomon
committed
Adds broken test
Mike Solomon
committed
Adds composition test
Mike Solomon
committed
Adds test that does not work yet for variants
Mike Solomon
committed