Searched refs:used_assertion (Results 1 – 1 of 1) sorted by relevance
340 TNode used_assertion = getAssertionForClause(it->first); in collectAssertionsForClauses() local341 assertions.insert(used_assertion); in collectAssertionsForClauses()