Note predicate span on ImplDerivedObligation
#106703
+200
−68
Merged