optimize BRF,BR into BRT where possible
refactor a makeBranchIfFalse
optimize BRF not x => BRT x