JS Code Analysis with plato