extractCone не различает входы и константы
Для подсхем, в которых в качестве источника входных значений используются константные вентили (GateSymbol::ONE, GateSymbol::ZERO), функция extractCone создаёт конус, в котором константные вентили заменены на входы (GateSymbol::IN). Как следствие, конус не эквивалентен исходной подсхеме. Пример - см. FindConeTest.constTest. testConst