When splitting assertions, delete implicit assertions that would otherwise be converted to assumes

When splitting assertions, delete implicit assertions that would otherwise be converted to assumes #9967