Fix some problems with flipping default edge state from true to false, and fix a silly vararg-fetch bug
Treat allocations of unknown size as having LLONG_MAX size (always represented compactly) and restore calls within loops when appropriate.