Assertion on the obtained AST.