Symbolic breadth First search algorithm using operations like union difference subset etc.. on range.