When a == "a":
  V1: if (a == "a") b == "b1"
  V2: if (a == "a") b == "b2"
