• check::PreStmt<T>, check::PostStmt<T>

    check::PostStmt<T>