Searched refs:skolem2 (Results 1 – 1 of 1) sorted by relevance
714 Node skolem2 = utils::mkVar(skolem2_size); in ppAssert() local715 children.push_back(skolem2); in ppAssert()