Rule: no assignment in return statement