WARNING: state f13 is unreachable
WARNING: state f31 is unreachable
WARNING: state f29 is unreachable
WARNING: state f19 is unreachable
Too much variables