Assertions in the non-terminating case of `cs_tests/recur6.c` could not be reached

[taquangtrung]

Hi,

For this example, I think the first two assertions in f() are unreachable.
Could you advise if this should be fixed?

// cs_tests/recur6.c

#include "aliascheck.h"
int *x,y,z;

void f();

int main(){
    f();
    *x=100;
}

void f(){
    
    if(z){
	x=&y;
	f();
	x=&z;
	f();
	MUSTALIAS(x,&z);
	EXPECTEDFAIL_NOALIAS(x,&y);
    }
	MAYALIAS(x,&z);
	MAYALIAS(x,&y);
}