creating TCFlow for the first stmt analysis

For now, the doit function creates a basic tree for assignments
we need to extend to all the Stmt especializations