added control of max dfs calls when discovering states prior value iteration
updated header of example1 for value iteration