[boost] [contract] differentiate regressions with libc++