WARNING: state f96 is unreachable
WARNING: state f98 is unreachable
Too much variables