ShouldImplement

Add ShouldImplement assertion.