[Wp] generic sequent simplifier: applies simplify+assume succesively on each terms of a the disjonctive goal