If the training data's included both unminified and minified libs, then is it such a stretch?

Is it though? The developer tabs have an unminify button which yields similar results. JavaScript minification is not hard in any way and the guessing of variable names is not that hard given such a simple code example.