private Map<String, Integer> getTopLevelUIFnamesAndArities(TemplateFormula f) { Set<TemplateUIF> topLevelUIFs = f.getAllTopLevelUIFs(); HashMap<String, Integer> map = new HashMap<>(); String name; Integer arity; for (TemplateUIF u : topLevelUIFs) { name = u.getName(); arity = Integer.valueOf(u.getArity()); map.put(name, arity); } return map; }