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