Switched tag notation from underscores to carets as underscores are
widely used in predicate/variable names in benchmarks in SL-SMTCOMP.