Risk At Assertion Level