>>565
パフォーマンスを考えるなら、
} else {
  assert(x==b); ...