Simplify bvult by extracting sum common when sound. #232

Closed andreistefanescu closed 1 year ago