ST6RI-921 Revised some examples to restore type checks in filters.

Author: seidewitz

sysml/src/examples/Vehicle Example/SysML v2 Spec Annex A SimpleVehicleModel.sysml

@@ -1536,7 +1536,7 @@ package SimpleVehicleModel{
         package MandatorySafetyGroup {
             /* Parts that contribute to safety AND are mandatory. */
             public import vehicle_b::**;
-            filter (as Safety).isMandatory;
+            filter @Safety and (as Safety).isMandatory;
         }
     }
     package Views_Viewpoints{

sysml/src/validation/11-View and Viewpoint/11b-Safety and Security Feature Views.sysml

@@ -54,11 +54,11 @@ package '11b-Safety and Security Feaure Views' {
 
 		view vehicleMandatorySafetyFeatureView :> vehicleSafetyFeatureView {
 		    expose vehicle::*::**;
-			filter (as Safety).isMandatory;
+			filter @Safety and (as Safety).isMandatory;
 		}
 
 		view vehicleMandatorySafetyFeatureViewStandalone {
-			expose vehicle::**[(as Safety).isMandatory];
+			expose vehicle::**[@Safety and (as Safety).isMandatory];
 			render asElementTable;
 		}	
 	}