Bigger stack please
Add support to avoid memoizing proven VCs