dalvik: fix a bug in redundant branch elimination