bypassing counterstrategy in deadlock extraction for speedup; added a new plugin for interactive strategy when revisions are found
bugfixes for the user feedback element
latest updates to env revisions