else final List<ATermAppl> path = node.getPath(); if (path.isEmpty()) str.append("There is an anonymous _individual which");
else final List<ATermAppl> path = node.getPath(); if (path.isEmpty()) str.append("There is an anonymous _individual which");
final List<ATermAppl> clashPath = clashNode.getPath(); clashPath.add(clashNode.getName());
final List<ATermAppl> clashPath = clashNode.getPath(); clashPath.add(clashNode.getName());