this.origin      = origin; this.destination = destination; this.guard       = guard; this.description = description;
this( origin, destination, null, description );
    Transition(State origin,               State destination,               Guard guard,               String description)    {        this.origin      = origin;        this.destination = destination;        this.guard       = guard;        this.description = description;    }