glinear var is replaced with ghost

[tjhance]

This currently errors on line 6; it ought to error on line 5

method m() 
returns (glinear x: int)
{
  ghost var a := 5;
  glinear var b := a;
  x := a;
}