Missing validation for ErrorStateToModeMapping.mappedModes

[joeseibel]

If a mode mapping is in a modal subclause, the validator should check that the referenced modes are listed in the in modes of the subclause. The validator should place an error on the following model:

package missing_validation
public
  system s
    modes
      m1: initial mode;
      m2: mode;
    annex EMV2 {**
      use behavior missing_validation::machine1;

      component error behavior
        mode mappings
          state1 in modes (m1);
      end component;
    **} in modes (m2);
  end s;

  annex EMV2 {**
    error behavior machine1
      states
        state1: initial state;
    end behavior;
  **};
end missing_validation;