A more advanced way of creating the initial state of a SecGraph is the initial producer. This works similar to the instantiation rules for modules.

    SecGraph sg = new SecGraph(workbench());
    sg ==> F F Box();