rm wrong assert clause