Create an FDEFINITION-AST as the documentation says.