Description: Transfer at-most-one between related expressions. (Contributed by Stefan O'Rear, 12-Feb-2015)