relmap for commuting binary operands