Checked in translate_expression(clause)