[WIP] implement some methods to analyze
add analyzeLambda
[WIP] change the API of AST