DFState: findTransition now returns Invalid state instead of null
Added file accessibility check unit test.