remove ambiguity about slack in ExcludedVolumeRestraint
clean up example a bit