Implement checks for branches  inside  PC