drastically improved speed of DFS solver
placeholder for terminal pattern creator
cleaning up DFS solver and co