fixed if-else bug: BranchOnFalse's offset now is + 1 to include the Jump block