add label to trilinos
add label to term
fix label in trs-introduction
align maude code
update library
walk through static scheduling