Modified NewtonCompare.cpp to use intersecting automata for reachability information for both FWPDS and NWPDS.