No, because the point is that the branch version does not touch "total" when the branch is taken, but the non-branch version will always multiply "total" by something.

Not necessarily.

   return 1 - user.isPremiumMember * 0.1;

would also cut it.