### BTest baseline data generated by btest-diff. Do not edit. Use "btest -U/-u" to update. Requires BTest >= 0.63.
[debug/cfg-initial] Module 'foo'
digraph {
    0 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    1 [label="end <...>/struct_member_access.hlt:4:1-20:1" shape=triangle xlabel="in: [] out: []"];
    2 [label="end <...>/struct_member_access.hlt:4:1-20:1" shape=triangle xlabel="in: [] out: []"];
    0 -> 2 [label="0"];
    2 -> 1 [label="1"];
}
[debug/cfg-initial] Function 'f'
digraph {
    0 [label="local Foo f" xlabel="gen: [f: local Foo f] in: [] out: [f: local Foo f]"];
    1 [label="f.x;" xlabel="read: [f] in: [f: local Foo f] out: [f: local Foo f]"];
    2 [label="g(f);" xlabel="read: [f] in: [f: local Foo f] out: [f: local Foo f] keep"];
    3 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    4 [label="end <...>/struct_member_access.hlt:10:26-14:1" shape=triangle xlabel="in: [] out: []"];
    5 [label="end <...>/struct_member_access.hlt:10:26-14:1" shape=triangle xlabel="kill: [f: local Foo f] in: [f: local Foo f] out: []"];
    3 -> 0 [label="0"];
    0 -> 1 [label="1"];
    1 -> 2 [label="2"];
    2 -> 5 [label="3"];
    5 -> 4 [label="4"];
}
[debug/cfg-initial] Function 'g'
digraph {
    0 [label="foo::Foo f" xlabel="in: [] out: []"];
    1 [label="assert f.x;" xlabel="read: [f] in: [] out: [] keep"];
    2 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    3 [label="end <...>/struct_member_access.hlt:16:24-18:1" shape=triangle xlabel="in: [] out: []"];
    4 [label="end <...>/struct_member_access.hlt:16:24-18:1" shape=triangle xlabel="in: [] out: []"];
    2 -> 0 [label="0"];
    0 -> 1 [label="1"];
    1 -> 4 [label="2"];
    4 -> 3 [label="3"];
}
[debug/cfg-initial] Module 'hilti'
digraph {
    0 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    1 [label="end <...>/hilti.hlt:3:1-71:1" shape=triangle xlabel="in: [] out: []"];
    2 [label="end <...>/hilti.hlt:3:1-71:1" shape=triangle xlabel="in: [] out: []"];
    0 -> 2 [label="0"];
    2 -> 1 [label="1"];
}
