we only look up envref when filling holes at depth 0. They can also be used for higher depths.
The reasoning for this was the synthesis engine if stumbles across the same expression we can bump up the count. This is slow a lot of times, and reusing old expressions smartly can help.
we only look up envref when filling holes at depth 0. They can also be used for higher depths.
The reasoning for this was the synthesis engine if stumbles across the same expression we can bump up the count. This is slow a lot of times, and reusing old expressions smartly can help.