diff --git a/src/plugins/aorai/tests/ya/metavariables-right.ya b/src/plugins/aorai/tests/ya/metavariables-right.ya
index bacd77138701a144c5eb98f582c5b271009b9db5..e893ccf4d071c08c0745bfaa756068d03e2b1b5a 100644
--- a/src/plugins/aorai/tests/ya/metavariables-right.ya
+++ b/src/plugins/aorai/tests/ya/metavariables-right.ya
@@ -3,11 +3,12 @@
 %deterministic;
 
 $x : int;
+$y : int;
 
 a : { CALL(main) } -> b;
 
 b :
-  { CALL(f) } $x := f().x -> c
+  { CALL(f) } $y := $x; $x := f().x -> c
 | { CALL(g) } -> d
 ;
 
diff --git a/src/plugins/aorai/yaparser.mly b/src/plugins/aorai/yaparser.mly
index 655a5d32db9897320703e42c99e5f6d5c9c35ac7..2e05fb246802b5ea041d1348e251f9d9645c7e42 100644
--- a/src/plugins/aorai/yaparser.mly
+++ b/src/plugins/aorai/yaparser.mly
@@ -400,8 +400,8 @@ actions
   ;
 
 non_empty_actions
-  : non_empty_actions action { $1 @ [$2] }
-  | action                   { [$1] }
+  : non_empty_actions SEMI_COLON action { $1 @ [$3] }
+  | action                              { [$1] }
   ;
 
 action