Oops, hold on. The fix was wrong (it always comes while sipping fresh cup of coffee after sending out an email. ). I’ll send updated PR later.Sent from my iPhoneThe original code assumed dyadic-sob>? is negation of dyadic-sob<=?, butit doesn't hold when two sobs are neither subset of each other.