update PC + 1 correctly, add test cases