added thorough testing of branch instructions