That's literally why pushing your opponent to make space was recently added to the rules as permissible...to let people fight out of the clinch. Some people, most notably but not only Walden, are now using pushing offensively. Aaron Cook does it twice in this video from the same world championships. But then Cook does it again in round two and this time he gets the penalty, not the opponent he pushed out. Speaking of that video, it's an exciting (if not close) match. It's a nice counterpoint for those people (not you personally, but some here) saying Olympic TKD is fundamentally broken, constant stoppages, nothing but front leg roundhouse kicks, etc. Whether or not some people here personally like it, it's the most popular martial sport in the world based on participation numbers, and that's not a situation where it makes sense to throw out the whole rulebook, declare it a failure, and restart from scratch as some are suggesting.