anchor.diff:          let inc = Map.forall (fun _ exec -> exec) event.conditions
           let event' = { event with executable = inc; included = true; }
           let state' = Map.add event.name event' state
  -        (state', notify event.executed event.relations cmds)
  +        (state', notify event.executed.IsSome event.relations cmds)
   
   // Sends a message to the simulation state
   let sendMessage (state: Workflow) (cmds: Command list) =
  
positive.code:     printfn "============= Status =============="
      Map.iter (
          fun k v ->
              printfn "%s %s %s %s" (if v.executable then "->" else "| ") (if v.executed then "x" else " ") k (if v.pending then "!" else "")
      ) state
  
  // Creates a new event
  
negative.code:         let n = {
              name = event;
              role = role;
              executed = None;
              included = false;
              pending = false;
              executable = true;
  