added more debug statements, small flag fix on reachability prog
added more debug statements, small flag fix on reachability prog

dubey/weaver,dubey/weaver,Determinant/weaver,Determinant/weaver,sid17/weaver,sid17/weaver,sid17/weaver,Determinant/weaver,sid17/weaver,Determinant/weaver,dubey/weaver,dubey/weaver