modified branch node to accept statements instead of blocks