final ATermList oldargs = appl.getArguments(); final String newname = (String) args.get(0); args.remove(0);
if (appl.getName().equals("list") && appl.getArguments().isEmpty())
if (appl.getName().equals("list") && appl.getArguments().isEmpty())
final ATermList oldargs = appl.getArguments(); final String newname = (String) args.get(0); args.remove(0);
if (appl.getName().equals("list") && appl.getArguments().isEmpty())
if (appl.getName().equals("list") && appl.getArguments().isEmpty())