[<Test>]
let SmallGraph () =
    let x = new InitialNode()
    let y = new InitialNode()

    let terminal = new TerminalNode()

    let plus = new AddNode()
    let less = new LtNode()
    let multiplexor = new MultiplexorNode()

    let vsfg = new VSFG ([|x; y|], [|terminal|])
    //let f = new NestedVsfgNode (vsfg)

    VSFG.AddVerticesAndEdges
        [|
            x :> Node, 0, plus :> Node, 0;
            y :> Node, 0, plus :> Node, 1;
            x :> Node, 0, less :> Node, 0;
            y :> Node, 0, less :> Node, 1;

            less :> Node, 0, multiplexor :> Node, 0;
            //f :> Node, 0, multiplexor :> Node, 1;
            plus :> Node, 0, multiplexor :> Node, 1;
            plus :> Node, 0, multiplexor :> Node, 2;

            multiplexor :> Node, 0, terminal :> Node, 0;
        |]

    checkNeighbours x 0 2
    checkNeighbours y 0 2
    checkNeighbours terminal 1 0
    checkNeighbours plus 2 2
    checkNeighbours less 2 1
    //checkNeighbours f 2 1
    checkNeighbours multiplexor 3 1