More test cases and added sanity check to dialogue graph (must have exit vertex reachable