+ Removed unused import
+ Refactoring of acquirer operators so that the output is a set of
situations, as described in the theory