diff --git a/examples/acasxu/property_5_aimos.why b/examples/acasxu/property_5_aimos.why
index d0ca6f9a0f7594c5132630e96c65d5a3c5945439..a68acbb5b6108bfdef5945c57545eae5803b3447 100644
--- a/examples/acasxu/property_5_aimos.why
+++ b/examples/acasxu/property_5_aimos.why
@@ -5,5 +5,6 @@ theory ACASXU_P5
   use caisar.DatasetClassificationProps
   use option.Option
 
-  goal G: meta_robust model dataset (1.0:t) "reluplex_rotation" "config/custom_transformations.py" "classif_min" None
+  goal G1: meta_robust model dataset (1.0:t) "reluplex_rotation" "config/custom_transformations.py" "classif_min" None
+  goal G2: meta_robust model dataset (1.0:t) "gaussian_blur" "config/custom_transformations.py" "classif_min" (Some { start = 1; stop = 10; step = 2; })
 end
diff --git a/tests/aimos.t b/tests/aimos.t
index 988acb268779d7295e147c2c47698ca578e6039d..1e7699dc89f1550015144000ca6639379f5c60c3 100644
--- a/tests/aimos.t
+++ b/tests/aimos.t
@@ -18,7 +18,9 @@ Test verify
   >   use caisar.DatasetClassificationProps
   >   use option.Option
   > 
-  >   goal G: meta_robust model dataset (1.0:t) "reluplex_rotation" "config/custom_transformations.py" "classif_min" None
+  >   goal G1: meta_robust model dataset (1.0:t) "reluplex_rotation" "config/custom_transformations.py" "classif_min" None
+  >   goal G2: meta_robust model dataset (1.0:t) "gaussian_blur" "config/custom_transformations.py" "classif_min" (Some { start = 1; stop = 10; step = 2; })
   > end
   > EOF
-  Goal G: Valid
+  Goal G1: Valid
+  Goal G2: Valid