bugfix: slice to {left,right}-segments maps were accidental copies of each other in SolutionGuarantor