Ast_iCNF
.
Statement