Avoid some creation of a #dynamic_resolution node.
Totally new structural coverage algorithm.

Much faster, much simpler to maintain and consider recents changes in
Praspel (cf research papers).
A missing @ensures is considered as true.