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