prefix_minus_chain(a - - - b).