parsing Inst "ret.x := 1"