bugfix in cancellative superposition