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.
[auto] Merge from Praspel

    • #080f7b8 — Avoid some creation of a #dynamic_resolution node. (Ivan Enderlin, 2014-03-31)
    • #78d81ac — Totally new structural coverage algorithm. (Ivan Enderlin, 2014-04-01)
    • #eb052f6 — A missing @ensures is considered as true. (Ivan Enderlin, 2014-04-01)

---

Merge branch 'master' of /var/lib/git/repositories/Library/Praspel