Patch P has two sets P+, P-
Ancestors A(C,P) = { Ca \elem C | Ca \elem P }
Ends E(C,P) = maximal elements of A(C,P)
+ Patch inclusion
+ C \haspatch P <=> [ \forall D \elem P+: D \isin C <=> D <= C ]
+ C \nothaspatch P <=> [ \forall D \elem P+: D \notisin C ]
COMMIT ANNOTATIONS