cancel assrtions in "TaintEngine.cpp"