Both operands of BinaryExpr must have the same sort