fix translator for change to equality semantics