update ast.ml add expression of loop