assertEquals("TRANSFER(Type1)", s);
// TRIE
a = new TrieAction(wordListExpr, stringExprTypeExprMap, boolExpr1, numExpr1, boolExpr1,
numExpr1, stringExpr);
s = v.verbalize(a);
assertEquals("TRIE(\"string\" = Type1, anyVar, true, 4, true, 4, \"string\")", s);
// UNMARK
a = new UnmarkAction(typeExpr1, indexes, boolExpr1);
s = v.verbalize(a);