from BaseC-ast to C-ast for LessThanHelloWorld