Simplify range checking in eval_refl(). Before the condition b == 0 could never be true, because it would have already been caught in the previous ifs. Also the condition b == 0x1000 could never be true (it would triggered the return).