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