function simplify(Condition $condition) { while (($simplified = $condition->simplify()) != $condition) { $condition = $simplified; } return $condition; }