Summary: 7 instances, 5 unique

Text	Count
# TODO: Replace/Augment build-graph with build-matrix	1
// @ // left as TODO because OpenJML/Specs does not have sufficiently detailed	1
// @ private normal_behavior  // TODO: this behavior is a temporary workaround	3
// @//    assignable TODO ...	1
// @//    ensures    TODO ...	1