    // now add the tuple to the appropriate relation

#if 0 /* Don't Use This Code.  Priority is now handled by SN code. */
    if (priority_info) { // There is a prioritize annotation
        if (priority_info->hidden_relation->is_subsumed(&newtuple)) {
#ifdef DEBUG
            if (DISPLAY_INSERTIONS) {
                fprintf(stderr, " - subsumed by hidden reln.]\n");
            }
#endif
            return 0;
        }
        priority_info->hidden_relation->insert_new( args, tupenv,
                dont_rename_env, parent_goal, dont_rename)

        return 1;
    }
#endif
