Added branching statement. Added generalized BlockT.