tlc on function AST