Reports assertion call to be replaced with more specific analogue