RE: More infinite simplifier bugs?