The FDEFINITION-AST now contains an AST for the name.
Take into account that FDEFINITION-AST contains an AST for the name.
Take into account that FDEFINITION-AST contains an AST for the name.