WARNING: state f23 is unreachable
WARNING: state f17 is unreachable
WARNING: state f21 is unreachable
Too much variables