[Wp] generic sequent simplifier: applies simplify+assume succesively on eacterms of a the conjective hypothesis