Decremental Aspiration Criterion Implementation

This criterion allows to mark taboo solutions avoiding deadlocks
and improving general performances while solution space is
explored.