Signature: outgoing_from_initial() : Boolean;Description: The outgoing transition from and initial vertex may have a behavior, but
not a trigger or a guard.Expression: (self.kind = #initial) implies (self.outgoing.guard->isEmpty()
and self.outgoing.trigger->isEmpty())