return matchArguments(appl.getArgumentArray(), list); return false; return matchArguments(appl.getArgumentArray(), list); return matchArguments(appl.getArgumentArray(), list); return matchArguments(appl.getArgumentArray(), list); return matchArguments(appl.getArgumentArray(), list);
for (final ATerm term : c.getArgumentArray()) terms = retrieve((ATermAppl) term, terms);
for (final ATerm term : c.getArgumentArray()) terms = retrieve((ATermAppl) term, terms);