added example for usefulness of branch coverage