Auto-tag clauses for UCT signals