[analyzer] recurse into the rhs expression of OpAssignOps when propagating constants