BVTCK-11 Marking non-testable assertion as such