private static bool IsThisConstant(IComponent conj, IConstant constantComponent)
{
if (conj == constantComponent)
return true;
return (conj is IProposition && conj.Inputs.Count == 1 && conj.GetSingleInput() == constantComponent);
}