Moved insert_Perm_after to benode.c