WARNING: state f56 is unreachable
WARNING: state f59 is unreachable
Too much variables