more simplifications for removing "false|true->..." analysis