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