Refactoring target assertion