If an enum variable is modified inside constructor, code path will not come here.
You need to move this check to `VarExp::modifiableLvalue`.