lean2automate