WARNING: state f12 is unreachable
WARNING: state f23 is unreachable
Too much variables