Highlighting Counter-Examples in May diagrams

previousOperator makes sense in an operator workflow like the TOSEM experiment (given that I still need to add apis to make it easier). Since this is no longer an operator, why don't you pass directly the smtListener as a parameter of this constructor (you have it in the caller)? You also can avoid throwing exceptions that way.