Completeness In Transaction Level Assertion