microproofs 1567e42875 chore: fill in machine todos and cost model for case and constr ... This allows for several more tests to pass **Had to remove case-7 since it was incorrectly passing before**		2023-11-17 19:52:03 -05:00
..
evaluation	chore: fill in machine todos and cost model for case and constr	2023-11-17 19:52:03 -05:00