Lines Matching full:preprocess
556 // and reachablity queries return non-sensical results. Thus, we preprocess
