scripts- includes symbolic breadth first search algorithm