Introduced a CHECK-P flag in the THE-AST.