Ok, here is the giant square patch splitted in multiple parts, including a small fixe to dbg_visit, computing the AST, tests and updated lenses. This patch do not have white-space errors, have been verified for memory leak (except for the infamous bug#294) and pass all checks. Thanks! Francis