Searched refs:mergeAssumes (Results 1 – 1 of 1) sorted by relevance
511 void mergeAssumes() { in mergeAssumes() function553 AS.mergeAssumes(); in simplifyAssumes()