WARNING: state f73 is unreachable
WARNING: state f76 is unreachable
Too much variables