https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=56270
{
    if (!node) return;
    
    std::optional<std::string> str{node->ToString(PARSER_CTX)};
    assert(str);
    auto parsed = miniscript::FromString(*str, PARSER_CTX);
    assert(parsed);
    assert(*parsed == *node);
    
    auto script = node->ToScript(PARSER_CTX);
    assert(node->ScriptSize() == script.size());
    
    
    if (!(node->GetType() << "K"_mst)) {
        bool ends_in_verify = !(node->GetType() << "x"_mst);
        assert(ends_in_verify == (script.back() == OP_CHECKSIG || script.back() == OP_CHECKMULTISIG || script.back() == OP_EQUAL));
    }