ADSL code synthesis and AST trimming improved