Collaboration diagram for Assertion handling: