example_model.sysml:5:28: error (type-error): 'Non-Conforming Types 1'::a does not conform to ScalarValues::String
example_model.sysml:12:30: error (type-error): ScalarValues::Integer does not conform to ScalarValues::Positive
example_model.sysml:30:27: error (type-error): Collect::A does not conform to Collect::B
example_model.sysml:38:34: error (type-error): ScalarValues::Integer does not conform to ScalarValues::Positive
