wip-violation analysis: added docs link