[<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()

    x.AddNewInPort()
    y.AddNewInPort()

    terminal.AddNewOutPort()

    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;

            x :> Node, 0, f :> Node, 0;
            y :> Node, 0, f :> 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 1 3
    checkNeighbours y 1 3
    checkNeighbours terminal 1 1
    checkNeighbours plus 2 1
    checkNeighbours less 2 1
    checkNeighbours f 2 1
    checkNeighbours multiplexor 3 1