[flow] simplify AST
[flow] adds support for AST callee verification
flow-tool: example for AST callee verification
update