This is not safe. The LHS of an assignment can have side effects, so should not be flagged. Also, `a = b` is not a constant condition, since we don't know the value of `b` until runtime.