WARNING: state f30 is unreachable
WARNING: state f44 is unreachable
Too much variables