Deep refinements (interfaces simplification + neigboring size approximation + optimality evaluation).