Added one test for FDEFINITION-AST.