diff --git a/src/plugins/alias/tests/basic/assignment3.c b/src/plugins/alias/tests/basic/assignment3.c
index 203e93650c145bd0ee2a10cf547852a24551c02f..d5a05286523dc157f8ebbf913161a4edadf6d542 100644
--- a/src/plugins/alias/tests/basic/assignment3.c
+++ b/src/plugins/alias/tests/basic/assignment3.c
@@ -1,10 +1,8 @@
 // address assignment
 // {a, c} are aliased
 
-int main () {
+int b=0, *a=&b, *c=&b;
 
-  int *a=0, b=0, *c=0;
-  a = &b;
-  c = &b;
+int main () {
   return 0;
 }
diff --git a/src/plugins/alias/tests/basic/oracle/assignment3.res.oracle b/src/plugins/alias/tests/basic/oracle/assignment3.res.oracle
index 22605c19af07f9a50a3b547c507b389718b4adec..e429aba77bb6067a79752f2761177d56cfb8d226 100644
--- a/src/plugins/alias/tests/basic/oracle/assignment3.res.oracle
+++ b/src/plugins/alias/tests/basic/oracle/assignment3.res.oracle
@@ -1,28 +1,11 @@
 [kernel] Parsing assignment3.c (with preprocessing)
 [alias] analysing function: main
-[alias] analysing instruction: int *a = (int *)0;
-[alias] May-aliases after instruction  int *a = (int *)0;  are  <none>
-[alias] May-alias graph after instruction  int *a = (int *)0;  is    <empty>
-[alias] analysing instruction: int b = 0;
-[alias] May-aliases after instruction  int b = 0;  are  <none>
-[alias] May-alias graph after instruction  int b = 0;  is    <empty>
-[alias] analysing instruction: int *c = (int *)0;
-[alias] May-aliases after instruction  int *c = (int *)0;  are  <none>
-[alias] May-alias graph after instruction  int *c = (int *)0;  is    <empty>
-[alias] analysing instruction: a = & b;
-[alias] May-aliases after instruction  a = & b;  are  <none>
-[alias] May-alias graph after instruction  a = & b;  is    0:{ a } → 1:{ b }
-[alias] analysing instruction: c = & b;
-[alias] May-aliases after instruction  c = & b;  are  { a; c }
-[alias] May-alias graph after instruction  c = & b;  is
-  0:{ a } → 5:{ b }   4:{ c } → 5:{ b }
 [alias] analysing instruction: __retres = 0;
-[alias] May-aliases after instruction  __retres = 0;  are  { a; c }
-[alias] May-alias graph after instruction  __retres = 0;  is
-  0:{ a } → 5:{ b }   4:{ c } → 5:{ b }
-[alias] May-aliases at the end of function main: { a; c }
+[alias] May-aliases after instruction  __retres = 0;  are  <none>
+[alias] May-alias graph after instruction  __retres = 0;  is    <empty>
+[alias] May-aliases at the end of function main: <none>
 [alias] May-alias graph at the end of function main:
-  0:{ a } → 5:{ b }   4:{ c } → 5:{ b }
+  <empty>
 [alias] Summary of function main:
-  formals:     returns: __retres    state: { a; c }
+  formals:     returns: __retres    state: <none>
 [alias] Analysis complete