Странный порядок потока управления

Мне было поручено закодировать программу «лабиринт», которая позволит пользователю играть и решать случайный лабиринт, перемещаясь от начала до конца. До сих пор я разработал рабочий прототип, который хорошо работает для предварительно определенных лабиринтов, но организация требует, чтобы я сделал его как можно более случайным. Для этого я включил функцию ‘findpath’, которая проверяет и проверяет, можно ли решить случайный лабиринт, или иным образом вызывать ‘mazebuilder’ для создания другого случайного лабиринта. Весь код здесь: http://codepad.org/wb1OGGrZ .
Теперь во время выполнения эта функция показывает недопустимый поток управления.

int findpath(int x, int y)
{
if(fpmap[x][y]==END)    //1
{
return TRUE;
}
if(fpmap[x][y]!=PATH||fpmap[x][y]!=START)     //2
{
return FALSE;      //2a
}
min_moves++;                    //3
fpmoves++;
fpmap[x][y]=SOLUTION;
if(findpath(x,y-1))      //4
{
return TRUE;
}
if(findpath(x+1,y))
{
return TRUE;
}
if(findpath(x,y+1))
{
return TRUE;
}
if(findpath(x-1,y))
{
return TRUE;
}
min_moves--;      //5
fpmap[x][y]=PATH;
return FALSE;     //6
}

Я попытался отследить программу, и вот что делает функция при ее вызове:
1. Проверяет, если # 1.
2. Проверяет, если # 2.
3. Переходит к # 6.
Итак, почему программа не пошла на # 2a или # 3, если после # 4 или # 5?
Кажется, просто пропустить весь код и спешить на # 6. Есть ли логическая ошибка в этом или это синтаксический?
Пожалуйста, помогите мне выйти из этого.
PS: Этот код был написан для компилятора TurboC, потому что мои способности требуют от меня этого. Пожалуйста, потерпите меня 🙁

Больше информации об алгоритме, используемом в findpath: http://www.cs.bu.edu/teaching/alg/maze