Finished implementing TreeTent annotations. The user will have to figure out which rule can justify the annotation.