Assertion manager

Assertion coverage management