Formatting change
Rename Tm => SynTerm to match paper