Unexpected: Idea for a new internal assertion data structure

assertion_structure.dot

digraph "state machine" {

    start [style=solid];

    start_boolean [style=solid, label = ""];
    start_boolean_tobetrue [shape="doublecircle", style="solid", label = ""]
    start_boolean_tobefalse [shape="doublecircle", style="solid", label = ""]

    start_string_nottocontain [style="solid", label = ""];
    start_string_nottocontain_string [shape="doublecircle", style="solid", label = ""];

    start_string [style=solid, label = ""];
    start -> start_string [label = "<string>"];
    start_string -> start_string_nottocontain [label = "[not] to contain"];

    start_string_nottocontain -> start_string_nottocontain_string [label = "<string>"];


    start -> start_boolean [label = "<boolean>"];

    start_boolean -> start_boolean_tobetrue [label = "to be true"];
    start_boolean -> start_boolean_tobefalse [label = "to be false"];

    start_number [style=solid, label = ""];
    start -> start_number [label = "<number>"];
    start_number -> start_number_tobegreaterthan [label = "to be greater than"];
    start_number_tobegreaterthan [ style=solid, label="" ];

    start_number_tobegreaterthan_number [shape="doublecircle", style="solid", label = ""];
    start_number_tobegreaterthan -> start_number_tobegreaterthan_number [label = "<number>"];

    start_any [style="solid", label=""];
    start_any_nottobe [style="solid", label=""];
    start -> start_any [label="<any>"];
    start_any -> start_any_nottobe [label="[not] to be"];

    start_any_nottobe_any [shape="doublecircle", style="solid", label=""];
    start_any_nottobe -> start_any_nottobe_any [label="<any>"];

    start_string_nottobe [style="solid", label=""];
    start_string -> start_string_nottobe [label="[not] to be"];

    start_string_nottobe_string [shape="doublecircle", style="solid", label=""];
    start_string_nottobe -> start_string_nottobe_string [label="<string>"];
}

Initial rendering (sorry, github doesn't allow me to upload svgs or pdfs):