>>553
漏れの場合は
if(x==a){
} else if(x==b) {
} else {
assert(0);
}
ってするな。
前提条件が成立してることは信用しない。