More infinite simplifier bugs?