[Decaf] PP3: Check more semantic errors.