IR check val field assign

You still need to check that `qualifier` is a `This()`. With your test, it could still be that you modify a variable of another instance of the same class.