bool parallelDFS(int u1, int u2) {
    col[u1] = CL_GREY;

    if (isTerm1[u1] != isTerm2[u2])
        return false;

    for (int c = 0; c < 26; ++c) {
        int v1 = go1[u1][c];
        int v2 = go2[u2][c];
        if ((v1 == 0 && v2 != 0) || (v1 != 0 && v2 == 0))
            return false;

        if (v1 != 0 && col[v1 - 1] == CL_WHITE) {
            return parallelDFS(v1 - 1, v2 - 1);
        }
    }
    col[u1] = CL_BLACK;
    return true;
}