explictly deny any_instance_of with have_received