Keep analyzer hooks cozy in analyzer, avoid modifying other files as much as possible.
Solution lower/upper bounds.

Give feedback to designers when provided (@LEAST: N) and (@MOST: N) bounds are violated by the shortest found solution for a level.
Count rule applications. Click gutter to toggle what is being counted.