TupleInfo declareTupleNamed(String name, Map<String, Sort> fields) => currentContext.declareTuple( Sym(name), fields.map((key, value) => MapEntry(Sym(key), value)), );