void handleCondOperation()

in cpp/DFAchecks.cpp [245:248]


void handleCondOperation() {
    if (always_false())
        myOperation();
}