- store positions of the AST nodes in the input formula string. - Throw an exception in array functions, catch in `ast::make_array`.