Lines Matching defs:unify
568 bool unify = true;573 /* FINISHME: unify returns with identical expressions */577 unify = false;579 if(unify) {602 * we might later unify the lowered version with the other one