Searched refs:econc (Results 1 – 1 of 1) sorted by relevance
439 Node econc = NodeManager::currentNM()->mkNode( kind::SEP_LABEL, in check() local442 lem = NodeManager::currentNM()->mkNode( kind::OR, fact.negate(), econc ); in check()