0304
From BR Wiki
Summary: 


Cause: 

Remedy: 
if fnX(y=5)=1 then let z=2 to if fnX(y:=5)=1 then let z=2 
Summary: 


Cause: 

Remedy: 
if fnX(y=5)=1 then let z=2 to if fnX(y:=5)=1 then let z=2 