errors location in file, improve fsmtest generator to interpretate set guards and refactoring update
fix junction, new classes PathCalc, TraverseDecisionTree, partition TraversePath into these classes, simplify PathSequence, fix DecisionNode tree iteration