Whether no satisfaction exists for this node.
Declared in <script/miniscript.h>
<script/miniscript.h>
bool IsNotSatisfiable() const;
True if this node can never be satisfied.