ATermList as, es;

    ATermList as, es, formals;
    ATermBool ellipsis;

    else if (matchFunction(e, pat, body, pos)) {

    else if (matchFunction(e, pat, body, pos) && matchAttrsPat(pat, formals, ellipsis)) {

        ATermMap actualArgs(ATgetLength(formals));
        
        for (ATermIterator i(formals); i; ++i) {
            Expr name, def, value; ATerm def2;
            if (!matchFormal(*i, name, def2)) abort();
        }