Indeed, if two templates are equivalent, we can replace one with the other and still generate the correct equations.
after getting human judgements on alignments, we reconcile all the templates using TEMPLEQUIV as the final step of annotation.