add test for reserved labels
fix bug in doBranchIf/doBranchIfNot