Joseph Ferano
f715be029d
The spike counted nodes it could do. This counts nodes a real input actually contains, after Reach prunes, which is the question that decides whether whole-program coverage is reachable. The answer is worse than the spike's four buckets suggested: enum-compare needs Str, Make, Field and Call before it prints anything, because the prelude builds a slice to print one. And loops.flan carries Handled, RestartCase and Signal one each -- conditions are not an advanced feature to defer, they are in the reachable set of a program that only loops.
