Validator doesn't lookup probability property when transition is in a state machine

[joeseibel]

When the validator sums up the branch probabilities, it looks up probability properties when a transition is in a component error behavior, but not an error behavior state machine. The following model is valid, but the validator complains anyway:

package branch_probabilities
public
  annex EMV2 {**
    error behavior machine1
      events
        error1: error event;
      states
        state1: initial state;
        state2: state;
        state3: state;
      transitions
        transition2: state1 -[error1]-> (state2 with my_set::my_real, state3 with my_set::my_real);
      properties
        my_set::my_real => 0.5;
    end behavior;
  **};
end branch_probabilities;

The validator complains that the probabilities don't sum up to 1.