moved or - gate from pc_counter to branchCondCheck