added support for numbered ASTs