The expression "obj.val += x;" first hast to check if val is an event using the IsEvent binder, if so, do a event add. I think we should just disable this for PS since we don't support event syntax.