Adding many backends for the analysis and the transformation. Make it work on medium examples.